نتایج جستجو برای: formalize them in modern modal and relevant logics
تعداد نتایج: 21775605 فیلتر نتایج به سال:
Di erent interval modal logics have been proposed for reasoning about the temporal behaviour of digital systems. Some of them are purely propositional and only enable the speci cation of qualitative time requirements. Others, such as ITL and the duration calculus, are rst order logics which support the expression of quantitative, real-time requirements. These two logics have in common the prese...
testing plays a vital role in any language teaching program. it allows teachers and stakeholders, including program administrators, parents, admissions officers and prospective employers to be assured that the learners are progressing according to an accepted standard (douglas, 2010). the problems currently facing language testers have both practical and theoretical implications but the first i...
The aim of the paper is to offer a dialogical interpretation of non-normal modal logic which will suggest some explorations beyond the concept of nonnormality. This interpretation will be connected to the discussion of two issues, one more philosophical and the second of a more technical nature: namely a minimalist defence of logical pluralism and the difficulties involved in the application of...
Modifier logics are considered as generalizations of "classiea1" modal logics. Thus modifier logics are soeanled multimodal logios. Multimodality means here that the basic logics are modal logics with graded modalities. The interpretation of modal operators is more generan, too. Leibniz's mottvating semantical ideas (see [8]. p. 20-21) givejustification to these generalizations. Semantics of ca...
This paper describes a failed attempt to decompose the fusion of two non-normal modal logics as a composition of iterated nonnormal modalisations. That strategy had already succeeded in the transfer of soundness, completeness and decidability for normal modal logics, but we show here why it fails for the transference of some of these properties in the fusion non-normal modal logics. The possibi...
in this project, some new polyaspartimides, (pas)s, have been synthesized form michael addition reaction between new synthetic bismaleimide (bmi) and some aromatic diamines. a characteristic property of this polyaspartimides is a pendent carboxylic group, which introduced to these polymers from new bismaleimide. bismaleimides (bmi) is one of the interesting compounds, which can be self-polymeri...
in this thesis, a new optically active poly(amide-imide) (pai) was synthesized by the indirect polycondensation reaction of the l-phenylalanine based diacid chloride and 4,4?-diaminodiphenylether in the presence of triethylamine in n-methyl-2-pyrrolidone. the formation of pai was confirmed by ftir, 1h nmr and elemental analysis. in next step, the surface of titanium dioxide (tio2) nanoparticles...
In this note we study the effect of adding fixed points to justification logics. We introduce two extensions of justification logics: extensions by fixed point (or diagonal) operators, and extensions by least fixed points. The former is a justification version of Smoryǹski’s Diagonalization Operator Logic, and the latter is a justification version of Kozen’s modal μcalculus. We also introduce f...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید