نتایج جستجو برای: formalize them in modern modal and relevant logics

تعداد نتایج: 21775605  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه گیلان 1390

عنوان: بررسی اوضاع فرهنگی گیلان (از انقلاب مشروطیت تا به قدرت رسیدن رضا شاه ) نویسنده: افضل افشاری سال :90-1389 استاد راهنما: دکتر ابوطالب سلطانیان استاد راهنما: دکتر حسن کهنسال واجارگاه چکیده: این پژوهش می کوشد اوضاع فرهنگی گیلان را از دور? مشروطیت تا ظهور رضا خان بررسی نماید و کم و کیف آن را آشکار سازد. انقلاب مشروطیت دو دستاورد مهم فرهنگی را در پی داشت؛ یکی انتشار گسترد? مطبوعات د...

Journal: :J. Log. Comput. 2000
Frank Wolter

The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form F G such that F and G validate L1 and L2, respectively. This paper proves the decidability of the product of converse PDL and polymodal K. Decidability results for products of modal logics of knowledge as well as temporal logics and polymodal K are discussed. All those products form rather...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم انسانی 1390

supervisors play an undeniable role in training teachers, before starting their professional experience by preparing them, at the initial years of their teaching by checking their work within the proper framework, and later on during their teaching by assessing their progress. but surprisingly, exploring their attributes, professional demands, and qualifications has remained a neglected theme i...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید چمران اهواز - دانشکده ادبیات و علوم انسانی 1389

this study purported to compare and contrast the use of self-mention and evidentials as two mtadiscourse features in opinion columns of persian and english newspapers. the theoretical basis of this study is the idea that metadiscourse features vary across cultural boundaries. for this purpose, 150 persian and 150 english opinion columns were collected based on three factors of topic, audience a...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده الهیات و معارف اسلامی شهید مطهری 1393

murder of wife during adultery: if a man sees his wifes adultery with another man, he can kill both of them. and he is not guilty in this murder. this sentence is the opinion of imami jurists and numerous comments on this issue are the main reasons for the sentence. that is the opinion of the sunni jurists too. murder of wife and the stranger man are permitted. but in contrast to these views, ...

2008
Edith Hemaspaandra Henning Schnoor

Modal logics are widely used in computer science. The complexity of modal satisfiability problems has been investigated since the 1970s, usually proving results on a case-by-case basis. We prove a very general classification for a wide class of relevant logics: Many important subclasses of modal logics can be obtained by restricting the allowed models with first-order Horn formulas. We show tha...

2004
Franz Baader Silvio Ghilardi Cesare Tinelli

Previous results for combining decision procedures for the word problem in the non-disjoint case do not apply to equational theories induced by modal logics—which are not disjoint for sharing the theory of Boolean algebras. Conversely, decidability results for the fusion of modal logics are strongly tailored towards the special theories at hand, and thus do not generalize to other types of equa...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه گیلان - دانشکده علوم انسانی 1393

this studyinvestigated therelations between examinees’ academic knowledge and theirperformanceonreading section of ielts and toefl (ibt) through using generalizabilitytheory. g-theory was utilized to investigate the effects of subtest, test items, participants and academic background on the reliability of ielts and toefl (ibt) score. tosamplethe subjectsofthissurvey,a placement testwasadministe...

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده ادبیات و علوم انسانی 1394

abstract there is not much sources about ancient carnival and ceremonies , but some information can be gain from documents . as a matter of fact the ceremonies were a part of zarartiyan principles which zartosht had taken them to his religion . it should be mentioned that the oldest ceremonies are about poster and agriculture principles this seasonal ceremonies were very important for agri...

پایان نامه :دانشگاه بین المللی امام خمینی (ره) - قزوین - دانشکده علوم پایه 1390

abstract: the present study is about prophet ishmael, some parts of his life; his personality in the quran and the bible; and the comparison of the content of these two religious books. compilation of the study has been done with a new perspective and new presentation approach. since prophets have been human beings’ role model and their life has been a perfect example for humanity in all ages,...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید