Finite Kripke models and predicate logics of provability

DOI10.2307/2274475MaRDI QIDQ3211282zbMATH OpenOpenAlexFDO

Authors Giorgie Dzhaparidze, Sergei Artemov

Publication date 1990

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274475

zbMATH Keywords

provability logicKripke modelmodal predicate logicprovability interpretationimbedding of modal logic into Peano arithmetic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 4079379
• Arithmetical interpretations and Kripke frames of predicate modal logic of provability
• scientific article; zbMATH DE number 1215499
• scientific article; zbMATH DE number 4087630
• Decidable and enumerable predicate logics of provability

Cites work

• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• Ein erweiterter Klassenkalkül
• Provability interpretations of modal logic
• The degree of the set of sentences of predicate provability logic that are true under every interpretation
• The predicate modal logic of provability

Cited in

(18)

• Arithmetical interpretations and Kripke frames of predicate modal logic of provability
• An Arithmetically Complete Predicate Modal Logic
• Proof-irrelevant model of CC with predicative induction and judgmental equality
• scientific article; zbMATH DE number 6302903 (Why is no real title available?)
• Some results on Kripke models over an arbitrary fixed frame
• scientific article; zbMATH DE number 7297896 (Why is no real title available?)
• Nishimura formulas as one-place logical connectives in the elementary theory of Kripke models
• scientific article; zbMATH DE number 125989 (Why is no real title available?)
• The finite model property for knotted extensions of propositional linear logic
• Criterion for propositional calculi to be finitely generated
• A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
• Nonstandard models and Kripke's proof of the Gödel theorem
• Decidable Kripke models of intuitionistic theories
• Liar-type paradoxes and the incompleteness phenomena
• AN ESCAPE FROM VARDANYAN’S THEOREM
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
• A modal logic of a truth definition for finite models
• Notes on models of (partial) Kripke-Feferman truth

This page was built for publication: Finite Kripke models and predicate logics of provability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3211282)