The predicate modal logic of provability

DOI10.1305/ndjfl/1093870577zbMath0549.03013OpenAlexW2073543470MaRDI QIDQ800346

Franco Montagna

Publication date: 1984

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870577

zbMATH Keywords

fixed pointsKripke modelsunprovabilityPA-completenesspredicate modal logic of provability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Related Items

Franco Montagna's work on provability logic and many-valued logic ⋮ Liar-type paradoxes and the incompleteness phenomena ⋮ Incompleteness and the Barcan formula ⋮ Finite Kripke models and predicate logics of provability ⋮ On predicate provability logics and binumerations of fragments of Peano arithmetic ⋮ A note on Barcan formula ⋮ An Arithmetically Complete Predicate Modal Logic ⋮ On first-order theories with provability operator ⋮ A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs ⋮ AN ESCAPE FROM VARDANYAN’S THEOREM ⋮ Definability and commonsense reasoning ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Predicate provability logic with non-modalized quantifiers ⋮ ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY ⋮ Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter ⋮ On inclusions between quantified provability logics ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS