The persistence principle over weak interpretability logic
From MaRDI portal
Publication:6561649
DOI10.1002/MALQ.202200020MaRDI QIDQ6561649FDOQ6561649
Authors: Sohei Iwata, Taishi Kurahashi, Yuya Okawa 
Publication date: 25 June 2024
Published in: Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)
Cites Work
- Arithmetization of metamathematics in a general setting
- Title not available (Why is that?)
- Title not available (Why is that?)
- On some proof theoretical properties of the modal logic GL
- Explicit fixed points in interpretability logic
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
- Title not available (Why is that?)
- Independent numerations of theories and recursive progressions
- ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
- A cut-free sequent system for the smallest interpretability logic
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
- Title not available (Why is that?)
- Modal completeness of sublogics of the interpretability logic IL
- Countably many sublogics of the interpretability logicILhaving fixed point properties
This page was built for publication: The persistence principle over weak interpretability logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561649)
