A. Chagrov and M. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Clarendon Press, Oxford, 1997.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....MIPC frame. Our main theorem is given at the end of Section 3. We also give sufficient conditions of extensions of MIPC to have the finite model property in Section 4. We conclude our result in Section 5. 2 Preliminaries Familiarity with the basic notions of modal logic (as expounded in e.g. [4]) will be helpful in what follows. Let L be the propositional language consisting of infinitely many propositional variables p; q; r; and the usual primitive connectives ; We put def = The set of L formulas is denoted by ForL. A set L ForL is called a superintuitionistic ....

.... hW;R; P i where R is a partial order on W and P is a set of R cones in W that contains ; and is closed under ; and the operation: ff oe fi def = fx 2 W j 8z ( xRz and z 2 ff) imply z 2 fi)g: Here, ff W is an R cone if 8x; y (x 2 ff and xRy imply y 2 ff) It is wellknown (see e.g. [4]) that every Int frame F = hW;R; P i gives rise to its dual Heyting algebra F = hP; oe; i; and conversely, every Heyting algebra A = hA; i to its dual Int frame A = hWA ; PA i where WA is the set of prime filters in A and PA = fjaj j a 2 Ag with jaj = fX 2 WA j a 2 Xg; and ....

[Article contains additional citation context not shown here]

A. Chagrov and M. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guide. Oxford University Press, 1997.

....modal logic was complete with respect to some class of frames, and that the canonical model method could be used to prove this. The matter was resolved in 1974, when Fine [12] and Thomason [38] published examples of incomplete normal modal logics. We refer the reader to Chagrov and Zakharyaschev [7] for a modern perspective logic conditions on accessibility K none KD seriality (#x#y xRy) KT reflexivity KB symmetry KDB seriality, symmetry KTB reflexivity, symmetry K4 transitivity K5 Euclidicity (#x#y#z ( xRy # xRz) # yRz) KD4 seriality, transitivity S4 ( KT4) reflexivity, ....

A. Chagrov and M. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Oxford University Press, Oxford, 1997.

....is decidable, and this modal system is characterized as the bisimulation invariant fragment of monadic second order logic over a signature of binary relations. 3. 1 Notes Recent years have seen a proliferation of modern text books on modal logics, of which we mention Chagrov Zakharyaschev [14], Popkorn [48] and Blackburn, de Rijke Venema [9] The standard translation, in various forms, can be found in the work of a number of writers on modal and tense logic in the 1960s. Van Benthem [4] rst made clear the importance of systematic use of the standard translation to access results ....

A. Chagrov and M. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Oxford University Press, Oxford, 1997.

....of extensions of MIPC to have the finite model property (Theorem 3. 17) We then give some corollaries of this, which have much more accessible forms, and present some decidable logics over MIPC (Section 4) 2 Preliminaries Familiarity with the basic notions of modal logic (as expounded in e.g. [5]) will be helpful in what follows. Let L be the propositional language consisting of infinitely many propositional variables p; q; r; and the usual primitive connectives ; We put def = The set of L formulas is denoted by ForL. A set L ForL is called a superintuitionistic ....

.... contains ; and is closed under ; and the operation: ff oe fi def = fx 2 W j 8z ( xRz and z 2 ff) imply z 2 fi)g: Here, ff W is an R cone if 8x; y (x 2 ff and xRy imply y 2 ff) A class C of Int frames characterizes a si logic L if OE 2 L iff 8F 2 C (F j= OE) It is well known (see e.g. [5]) that every Int frame F = hW;R; P i gives rise to its dual Heyting algebra F = hP; oe; i; and conversely, every Heyting algebra A = hA; i corresponds to its dual Int frame A = hWA ; PA i where WA is the set of prime filters in A and PA = fjaj j a 2 Ag with jaj = fX 2 WA j ....

[Article contains additional citation context not shown here]

A. Chagrov and M. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Oxford University Press, 1997.

No context found.

A. Chagrov and M. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Clarendon Press, Oxford, 1997.

No context found.

A. Chagrov and M. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Clarendon Press, Oxford, 1997.

....a large class of natural logics, arbitrarily relativised products do contain the fusions. A Kripke complete modal logic L is called a subframe logic if the class of Kripke frames for L is closed under taking (not necessarily generated) subframes. For a general theory of subframe logics consult [5, 2, 31] and references therein. Typical examples of subframe logics are modal logics whose classes of Kripke frames are de nable by universal rst order formulas, such as K, Alt, T, K4, S4, S5, K5, K45, S4.3, and K4.3. Note, however, that subframe logics like GL, GL:3, Grz are not rst order de ....

....points, and so cannot be frames for Grz. On the other hand, Theorem 2 does not hold for all subframe logics, not even for those of them that (unlike Grz) are characterised by universally de nable classes of frames. Take, for instance, the logic K5 = K 32p 2p: It is well known (see e.g. [2]) that K5 is Kripke complete and characterised by the class of Euclidean frames, i.e. frames hW; Ri satisfying the universal (Horn) sentence 8x8y8u R(u; x) R(u; y) R(x; y) In particular, frames for K5 have the property 8x8u R(u; x) R(x; x) Now consider the formula = 3 1 p 3 2 ....

A.V. Chagrov and M.V. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Clarendon Press, Oxford, 1997.

.... language L) and denote it by LL (F) In other words, S axiomatizes LL (F) The following theorem establishes soundness and completeness of the axiomatic systems above with respect to the classes of their frames (for proofs consult [ Halpern and Moses, 1992 ] or any textbook on modal logic, e.g. Chagrov and Zakharyaschev, 1997 ] Theorem 2. Every S 2 fKn ; Tn ; KDn ; K4n ; S4n ; KD45n ; S5ng is sound and complete with respect to the class of frames for S, i.e. Kn axiomatizes LL (F a ) Tn axiomatizes LL (F r ) etc. Let us return to the full language CL and see how to interpret the common knowledge operator ....

A. Chagrov and M. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Clarendon Press, Oxford, 1997.

No context found.

A. Chagrov and M. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Clarendon Press, Oxford, 1997.

No context found.

Alexander Chagrov and Michael Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Clarendon Press, Oxford, 1997.

No context found.

A. Chagrov and M. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Clarendon Press, Oxford, 1997.

No context found.

A. Chagrov and M. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Oxford University Press, Oxford, 1997.

No context found.

A. Chagrov and M. Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Clarendon Press, Oxford, 1997.

No context found.

Alexander Chagrov and Michael Zakharyaschev. Modal Logic, volume 35 of Oxford Logic Guides. Clarendon Press, Oxford, 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC