A.D. Yashin. Irreflexive modality in intuitionistic propositional logic and Novikov completeness. Journal of Philosophical Logic, 1997. To appear. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Speaking About Transitive Frames in Propositional Languages - Suzuki, Wolter.. (1998) (1 citation) (Correct)
....of classical provability logic GL: I 4 = U Phi (2p , p) p: The logic I 4 is characterized by the class of irreflexive Kripke frames without infinite ascending chains, i.e. by the same frames as GL but with a different interpretation of the implication. Another example is due to Yashin [29] who showed that the logic Y = I 4 Phi 22p , p , q) q , p) is Novikov complete in the sense that 2 is not definable in Int (it is a new intuitionistic connective ) and Y is a maximal logic in NExtU which is conservative over Int. Kuznetsov and Muravitskij [17] proved that there is a ....
A.D. Yashin. Irreflexive modality in intuitionistic propositional logic and Novikov completeness. Journal of Philosophical Logic, 1997. To appear.
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