The predicate modal logic of provability

DOI10.1305/NDJFL/1093870577MaRDI QIDQ800346zbMATH OpenOpenAlexFDO

Authors 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 modelsPA-completenesspredicate modal logic of provabilityunprovability

Mathematics Subject Classification ID

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

Recommendations

• Arithmetical interpretations and Kripke frames of predicate modal logic of provability
• scientific article; zbMATH DE number 4079379
• scientific article; zbMATH DE number 4099258
• Predicate provability logic with non-modalized quantifiers
• scientific article; zbMATH DE number 1215499

Cited in

(41)

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

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)