نتایج جستجو برای: formalize them in modern modal and relevant logics
تعداد نتایج: 21775605 فیلتر نتایج به سال:
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 propositional...
In the current paper we present a powerful technique of obtaining natural deduction proof systems for rst-order xpoint logics. The term xpoint logics refers collectively to a class of logics consisting of modal logics with modalities deenable at meta-level by xpoint equations on formulas. The class was found very interesting as it contains most logics of programs with e.g. dynamic logic, tempor...
previous studies regarding teachers’ beliefs have revealed that teachers’ beliefs have influence on their classroom practices. the current study aimed to investigate the effect of teachers’ beliefs about teaching reading strategies on students’ motivation and success in reading comprehension in the context of english teaching as a foreign language in high schools of mazandaran, iran. data were ...
these days, all department stores make an effort to provide their clients with valuable products in order to project the best image for them. as a result, clients’ comprehension risk will decrease and they will be more willing to repurchase. having a good image is really important for the department stores because it makes an impression on clients’ comprehension of both quality and risk. consid...
chapter one is devoted to a moderate discussion on preliminaries, according to our requirements. chapter two which is based on our work in (24) is devoted introducting weighted semigroups (s, w), and studying some famous function spaces on them, especially the relations between go (s, w) and other function speces are invesigated. in fact this chapter is a complement to (32). one of the main fea...
the present study was conducted to investigate the role of summary in teaching grammar process on pre-university students. to this end, 48 male pre-university students in semnan were participants. they were math class that we called experimental group and science class as control group. in order to make sure there was no significant difference in proficiency level of two groups. a pre-test wa...
the present study aimed to investigate the possible effects of focused highlighted error feedback on grammatical accuracy of writing among iranian intermediate efl learners. after selecting 52 homogenous participants from among 70 university students attending azad university of rasht and randomly dividing them into two intact groups of 26 students, the researcher exposed the participants of th...
translation studies have become an accepted academic subject and books, journals and doctoral dissertations appear faster than one can read them all (bassnet and lefevere, 1990). but this field also brought with itself so many other issues which needed to be investigated more, in the heart of which, issues like ideology, ethics, culture, bilingualism and multilingualism. it is reported that ove...
abstract this research has been carried out with the purpose of investigating the conditions and related elements of the employment of the educational sciences graduates of hamedan province universities in 1382-1387 academic years. it has been a descriptive research of a correlation kind, and the population number has been 1180 grduates of payam- e noor universites in asad – abaad, kaboudaraha...
abstract the current study set out to address the issue as to whether the implementation of portfolio assessment would give rise to iranian pre-intermediate efl learner autonomy. participants comprised 60 female in pre-intermediate level within the age range of 16-28.they were selected from among 90 language learners based on their scores on language proficiency test -key english test. then, t...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید