Interpretability in PRA
From MaRDI portal
Publication:1035648
DOI10.1016/j.apal.2009.05.012zbMath1184.03011arXiv2006.10508WikidataQ120514404 ScholiaQ120514404MaRDI QIDQ1035648
Joost J. Joosten, Marta Bílková, Dick H. J. de Jongh
Publication date: 4 November 2009
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2006.10508
03B45: Modal logic (including the logic of norms)
03F30: First-order arithmetic and fragments
03F45: Provability logics and related algebras (e.g., diagonalizable algebras)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The logic of \(\Pi_ 1\)-conservativity
- Induction rules, reflection principles, and provably recursive functions
- Proof-theoretic analysis by iterated reflection
- Undecidable theories
- A new principle in the interpretability logic of all reasonable arithmetical theories
- Modal Matters for Interpretability Logics
- The interpretability logic of Peano arithmetic