The predicate modal logic of provability
From MaRDI portal
Recommendations
Cited in
(35)- Quantified modal logic and self-reference
- The incompleteness of RGL
- On first-order theories with provability operator
- An Arithmetically Complete Predicate Modal Logic
- AN ESCAPE FROM VARDANYAN’S THEOREM
- Finite Kripke models and predicate logics of provability
- On inclusions between quantified provability logics
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
- A proof-irrelevant model of Martin-Löf's logical framework
- Incompleteness and the Barcan formula
- Arithmetical interpretations and Kripke frames of predicate modal logic of provability
- On modal systems having arithmetical interpretations
- A cut-free proof system for a predicate extension of the logic of provability
- Franco Montagna's work on provability logic and many-valued logic
- scientific article; zbMATH DE number 2174393 (Why is no real title available?)
- Proof-irrelevant model of CC with predicative induction and judgmental equality
- Definability and commonsense reasoning
- scientific article; zbMATH DE number 4079379 (Why is no real title available?)
- Quantified modal logics: one approach to rule (almost) them all!
- Liar-type paradoxes and the incompleteness phenomena
- Insolubility of Gödel-Löb logic with quantifiers of propositional variables
- A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
- Predicate provability logic with non-modalized quantifiers
- scientific article; zbMATH DE number 4099258 (Why is no real title available?)
- scientific article; zbMATH DE number 1670501 (Why is no real title available?)
- Predicate counterparts of modal logics of provability: high undecidability and Kripke incompleteness
- Provability in predicate product logic
- scientific article; zbMATH DE number 3924750 (Why is no real title available?)
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
- Axiomatising the Prior future in predicate logic
- No escape from Vardanyan's theorem
- Obituary: Franco Montagna (1948--2015)
- On predicate provability logics and binumerations of fragments of Peano arithmetic
- A note on Barcan formula
- scientific article; zbMATH DE number 1303428 (Why is no real title available?)
This page was built for publication: The predicate modal logic of provability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800346)
