Provability and interpretability logics with restricted realizations

DOI10.1215/00294527-1715653zbMath1255.03054arXiv2006.10539WikidataQ119883088 ScholiaQ119883088MaRDI QIDQ435232

Joost J. Joosten, Thomas F. III Icard

Publication date: 11 July 2012

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

Full work available at URL: https://arxiv.org/abs/2006.10539

zbMATH Keywords

interpretability logic; provability logic; PRA; GLP; linear frames; restricted substitutions

Mathematics Subject Classification ID

03F45: Provability logics and related algebras (e.g., diagonalizable algebras)

Related Items

Topological Interpretations of Provability Logic, Theory and application of labelling techniques for interpretability logics, The polytopologies of transfinite provability logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kripke semantics for provability logic GLP
• On the provability logic of bounded arithmetic
• The logic of \(\Pi_ 1\)-conservativity
• A note on the normal form of closed formulas of interpretability logic
• Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17--19, 2008, Münster, Germany
• Interpretability in PRA
• A propositional logic with explicit fixed points
• On the proof of Solovay's theorem
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• The logic of \(\Pi_ 1\)-conservativity continued
• The interpretability logic of all reasonable arithmetical theories. The new conjecture
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
• Undecidable theories
• A new principle in the interpretability logic of all reasonable arithmetical theories
• A Topological Study of the Closed Fragment of GLP
• Solution of a problem of Leon Henkin
• Reflection principles and provability algebras in formal arithmetic
• Bimodal logics for extensions of arithmetical theories
• The interpretability logic of Peano arithmetic
• On strong provability predicates and the associated modal logics
• On n-quantifier induction
• A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic