scientific article; zbMATH DE number 7790929
From MaRDI portal
Publication:6178467
Warning: Display title "scientific article; zbMATH DE number 7790929" overrides earlier display title "The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}". DOI10.1007/s00153-023-00882-6arXiv2007.05427OpenAlexW4380153182MaRDI QIDQ6178467
Taishi Kurahashi, Sohei Iwata, Yuya Okawa
Publication date: 18 January 2024
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2007.05427
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cites Work
- Self-reference and modal logic
- Explicit fixed points in interpretability logic
- The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
- Countably many sublogics of the interpretability logicILhaving fixed point properties
- Modal completeness of sublogics of the interpretability logic IL
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
