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

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

Journal: :Journal of Applied Non-Classical Logics 2007
Philippe Balbiani Tinko Tinchev Dimiter Vakarelov

The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discrete spaces. These modal logics are linguistic restrictions of propositional dynamic logic with the global diamond E. Their formulas are equivalent to Boolean combinations of modal formulas like E(A ∧ 〈α〉B) where A and ...

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

recent years have witnessed an increased attention to form focused instruction and consciousness raising activities (ellis, 2002; doughty & williams, 1998) on the one hand and extensive and meaningful exposure to the target language (klapper & rees, 2003; day & bamford, 1998) on the other. due to significance attributed to above mentioned issues by scholars, this study attempted to bridge them ...

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

since its introduction in 1959, translation quality assessment (tqa) has been among the most addressed research topics in translation studies. during recent years, there has been a crucial increase on the study of tqa. various methods have come on scene. although these methods are based on scientific theories, most of them have remained at the level of theory. juliane house’s model is among tho...

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

ii abstract the legend of human being’s refulgence was distorted completely in the age of modernity. this new age, had some drastic negative effects, besides its positive qualities. one significant negative effect of it was the emergence of neurosis in human beings. aldous huxley’s brave new world was one of the novels of the 02 th century that contained the prophecy of criticizing ...

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

the purpose of this study was to examine the comparative effect of story retelling and role playing on efl learners’ vocabulary learning and reading comprehension. to carry out the purpose of the study 90 female learners of tabarestan language school located in noshahr were non-randomly selected. they took pet test and among these 90 participants 62 students were selected as homogenous learners...

1997
R A Schmidt

abstract. The paper shows satissability in many propositional modal systems, including K, KD, KT and KB, their combinations as well as their multi-modal versions, can be decided by ordinary resolution procedures. This follows from a general result that resolution and condensing is a decision procedure for the satissability problem of formulae in so-called path logics. Path logics arise from pro...

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

in recent years, there has been a growing interest among researchers to investigate the relationship betweenteacher self-efficacy and classroom behavior management, especially students misbehavior. therefore, this study aimed to comparatively investigate english and arabic teachers’ use of different behavior managementstrategies, their self-efficacy, and their success in an iranian context. th...

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

introruction khawf in(iran)-herat and mazaresharif and shirkhan bandar in (afghanistan)-dushanbe in (tajikistan)_(kirgizstan)-kashghar in(china) project railway network is under construction that it is as a significant corridor for revitalizing silk road corridor in the region .at the present there are three different gauge in the region central asia with 1,520 mm gauge and turkey-islamic repu...

Journal: :CoRR 2014
Jan van Eijck Bryan Renne

We investigate modal logics of high probability having two unary modal operators: an operator K expressing probabilistic certainty and an operator B expressing probability exceeding a fixed rational threshold c ≥ 1 2 . Identifying knowledge with the former and belief with the latter, we may think of c as the agent’s betting threshold, which leads to the motto “belief is willingness to bet.” The...

Journal: : 2023

Non-classical logicians have significantly expanded the traditional field of using logical methods. The first them was three-digit logic Y. Lukasevich. Next came A. Bochvar, "quantum logics" G. Reichenbach and P. Detush-Fevrier, infinite-valued, probabilistic other logics. possibilities non-classical logics become widely used in various branches scientific knowledge. Polysemantic, fuzzy, intuit...

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

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