نتایج جستجو برای: formalize them in modern modal and relevant logics
تعداد نتایج: 21775605 فیلتر نتایج به سال:
: This paper provides a sound and complete axiomatisation for constant domain modal logics without Boolean negation. This is a simpler case of the difficult problem of providing a sound and complete axiomatisation for constant-domain quantified relevant logics, which can be seen as a kind of modal logic with a twoplace modal operator, the relevant conditional. The completeness proof is ...
in this study, the relationship between teachers’ creative and critical thinking skills and their reflectivity in teaching was investigated. to this end, three questions were raised. these questions were intended to determine whether there was a significant relationship between teachers’ creative thinking skills and their reflectivity in teaching; whether there was a significant relationship be...
according to coates’s (2004, as cited in zhang, 2010) definition of "conversational dominance" (p.111), it refers to the phenomenon of a speaker dominating others in interaction. specifically, it means how a speaker makes use of certain strategies to get the floor and maintain the floor. thus, the amount of talk is the main measurement for the dominance of the conversation. whether a speaker do...
Godel's translation of intuitionistic formulas into modal ones provides the well-known embedding of intermediate logics into extensions of Lewis' system S4, which re ects and sometimes preserves such properties as decidability, Kripke completeness, the nite model property. In this paper we establish a similar relationship between intuitionistic modal logics and classical bimodal logics. We als...
We present sound and complete prefixed tableaux systems for various modal logics with enriched languages including the "difference" modal operator ] and the "only if" modal operator [—R]. These logics are of special interest in Art i f icial Intelligence since their expressive power is higher than the standard modal logics and for most of them the satisfiability problem remains decidable. We al...
this study investigates the strategies native english and persian speakers employ for expressing gratitude in different situations. the strategies of persian efl learners are also compared with english strategies in order to find the differences that may exist between these two languages. social status and size of imposition of the favor are social variables which are investigated in detail for...
Some modal logics based on logics weaker than the classical logic have been studied by Fitch [4], Prior [18], Bull [1], [2], [3], Prawitz [17] etc. In this paper, we treat modal logics based on the intuitionistic prepositional logic, which we call intuitionistic modal logics (abbreviated as IML's). Our main concern is to compare properties of several IML's of S4or S5-type 03^ using some model t...
abstract the present study was conducted to examine the effect of proficiency on students interaction while carrying out the grammar-based task(s) in collaboration. in particular, the study examines whether the level of proficiency affects the learners’ focus of attention to grammatical and lexical features. the study takes a further step and examines whether there is any difference in the use...
according to webster and wind (1972) and anderson et al (1987), “organizational buying is a complex process and involves many people from different functional areas, multiple goals and potentially conflicting decision criteria. moreover, the customers of today are also more knowledgeable and selective when making their purchasing decisions. since a key to organizational survival is the retentio...
since the modern art is chosen to discuss, it means a wide expansion of art courses are affected by modernism that enter to the new realms. because of expanded subject, lack of sources and also the close relationship between painting and animation, this thesis emphasizes on the painting and it is recommended to use the phrase “modern painting” instead of modern art (which is more general). thi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید