نتایج جستجو برای: formalize them in modern modal and relevant logics
تعداد نتایج: 21775605 فیلتر نتایج به سال:
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 ...
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 ...
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...
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 ...
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...
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...
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...
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...
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...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید