K. Dosen, Modal translations in K and D, in: Diamonds and Defaults, edited by M. de Rijke, Kluwer Academic Publishers, 1993, pp. 103--127.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....those logics formal propositional logic and Visser s propositional logic , FPL and VPL for short. Not only are GL and K4 among important modal logics that do not include S4, but also many other extensions of K. Some corresponding propositional logics were considered in Corsi [Cor87] Dosen [Dos93] and Wansing [Wan97] Visser gave natural deduction systems and proved a Kripke completeness for FPL and VPL. Also he proved a fixed point theorem and an arithmetic completeness for FPL, e.g. using Solovay s theorem and the equivalence FPL i# #(A) GL, for any non modal formula A. As was ....

K. Dosen, Modal translations in K and D, in: Diamonds and Defaults, edited by M. de Rijke, Kluwer Academic Publishers, 1993, pp. 103--127.

....as fluently as L can talk about quasi orders. It is worth emphasizing here once again that in this paper we consider only upward closed valuations of L in transitive frames. Axiomatizations of the sets of L formulas valid in various classes of frames without this restriction can be found in [9] [10], 26] 2 From now on by a (Kripke) frame we mean a pair F = hW; Ri in which R is a transitive binary relation on a set W 6= A model of the language L is a pair M = hF; Vi, where F is a frame and V maps propositional variables into UpW ; such valuations will be called intuitionistic. The ....

K. Dosen. Modal translations in K and D. In M. de Rijke, editor, Diamonds and Defaults, pages 103--127. Dordrecht, Kluwer Academic Publishers, 1993.

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