نتایج جستجو برای: formalize them in modern modal and relevant logics
تعداد نتایج: 21775605 فیلتر نتایج به سال:
مراتع حدود نیمی از خشکی های جهان را در بر دارند و پوشش گیاهی آن در نتیجه تأثیر متقابل محیط و موجودات زنده به وجود آمده است و به عنوان یک اکوسیستم طبیعی مدیریت می شوند. علاوه بر مراتع، راه ها در عصر حاضر نیز از اجزا مهم و زیرساخت های اصلی زندگی نوین و توسعه کشورها به شمار می روند. جاده ها ساخته دست بشر هستند و جوامع گیاهی کنار جاده تحت تأثیر ساخت و ساز قرار دارند. پوشش "رودرال" به مجموعه ای از پ...
the present research was conducted to explore the effect of employing two language teaching approaches, i.e. schema-based instruction (sbi) and translation-based instruction (tbi), on vocabulary knowledge, structure and reading comprehension ability of forty one female students learning english in grade one senior high school in rivash, kuhsorkh, iran. while sbi focuses on schemata, i.e. words ...
Filtration is a standard tool for establishing the finite model property of modal logics. We consider logics and classes of frames that admit filtration, and identify some operations on them that preserve this property. In particular, the operation of adding the inverse or the transitive closure of a relation is shown to be safe in this sense. These results are then used to prove that every reg...
In a paper devoted to problems of synonymy and translation between modal logics [2], the authors attempted to show that there are two modal logics so that each is exactly translatable into the other, but they are not translationally equivalent. Unfortunately, there is an error in the proof of Theorem 4.7 of this paper, that purports to prove this result, as Lloyd Humberstone discovered [1]. In ...
postcolonial feminism, also dubbed as third world feminism, is an innovative approach, demonstrating the way women of colonized countries suffer from both native patriarchies and imperial ideology. also due to this double-colonization, postcolonial feminists contend that third world women are subjected to both colonial domination of empire and male domination of patriarchy. while western femini...
Several justification logics have evolved, starting with the logic LP, [2]. These can be thought of as explicit versions of modal logics, or logics of knowledge or belief in which the unanalyzed necessity operator has been replaced with a family of explicit justification terms. Modal logics come in various strengths. For their corresponding justification logics, differing strength is reflected ...
burnout is a response to the chronic work stress which is prevalent mostly among the people who do people job, like teaching. the purpose of this study was to develop a valid and reliable instrument that can measure burnout in foreign language teachers. although some widely used instruments were developed before which measured burnout in teachers, a specific instrument which include specific sy...
Several justification logics have evolved, starting with the logic LP, (Artemov 2001). These can be thought of as explicit versions of modal logics, or logics of knowledge or belief, in which the unanalyzed necessity (knowledge, belief) operator has been replaced with a family of explicit justification terms. Modal logics come in various strengths. For their corresponding justification logics, ...
Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion. Though description logics are closely related to modal logics, they are not necessarily normal. In addition, ABox reasoning in description logics is not covere...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید