نتایج جستجو برای: formalize them in modern modal and relevant logics
تعداد نتایج: 21775605 فیلتر نتایج به سال:
nowadays enhancing critical thinking in learners is considered one of the foreign language teachers’ tasks due to its high position in foreign language classrooms. when it comes to selecting materials for language classrooms, there are obviously some criteria that teachers should apply. the present study aimed at a critical thinking based analysis of ten picture story books and ten folktales th...
worship is submission and humitility with believe to divinity in fornt of god. in jewish religion ,worship is submission of the god inall the ordes and devosion tohim .worshio is not only so widely in islam and jew and does not include pray and fast and etc but also is every action that human does with divine intention and to content him. worship has huge and excellent rank in qoran and old te...
We develop the theory of stable modal logics, a class of modal logics introduced in [3]. We give several new characterizations of stable modal logics, and show that there are continuum many such. Since some basic modal systems such as K4 and S4 are not stable, for a modal logic L, we introduce the concept of an L-stable extension of L. We prove that there are continuum many S4-stable modal logi...
Context. Modal fixpoint logics constitute a research field of considerable interest, not only because of its many applications in computer science, but also because of its rich mathematical theory, which features deep connections with fields as diverse as lattice theory, automata theory, and universal coalgebra. In the 1970s computer scientists started to use modal logics as specification langu...
This paper studies expressivity and complexity of normal modal logics for reasoning about coalitional power in multi-agent systems with agents that have preferences. A class of local and global notions relevant for reasoning about cooperation is identified. Many of these notions naturally correspond to concepts from game theory or social choice theory. The expressive power required to express t...
abstract: country’s fiber optic network, as one of the most important communication infrastructures, is of high importance; therefore, ensuring security of the network and its data is essential. no remarkable research has been done on assessing security of the country’s fiber optic network. besides, according to an official statistics released by ertebatat zirsakht company, unwanted disconnec...
the present study set out (a) to examine the categories of pedagogical knowledge related to the act of teaching of novice and experienced teachers as gleaned from their verbal report of what they were thinking about while teaching and (b) to compare the categories of pedagogical knowledge of novice and experienced teachers. the aim of comparing these two groups of teachers was to see whether di...
efl/esl textbooks have been regarded as essential language teaching materials with which the learners spend about 70 up to 90 percent of their class time. the important role they play and their vast use make them not only influential in learning the language but also in shaping values and attitudes. put it another way, textbooks socialize learners using their contents (i.e. texts, illustrations...
We introduce a suitable notion of bisimulation for the family of Heyting-valued modal logics introduced by M. Fitting. In this family of logics, each modal language is built on an underlying space of truth values, a Heyting algebra H. All the truth values are directly represented in the language which is interpreted on relational frames with an H-valued accessibility relation. We prove that for...
the present study aimed at investigating how different news agencies using the concept of legitimation/delegitimation represent the same event differently. to this end, van leeuwens (2008) legitimatory/delegitimatory framework was applied to the data gleaned from the iranian state-run news agency fars news, british state-run news agency bbc, and also american state-run news agency voa. the resu...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید