The predicate modal logic of provability
From MaRDI portal
Publication:800346
DOI10.1305/ndjfl/1093870577zbMath0549.03013OpenAlexW2073543470MaRDI QIDQ800346
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
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
