Modal completeness of sublogics of the interpretability logic IL

DOI10.1002/malq.202000037zbMath1521.03238arXiv2004.03813OpenAlexW3183306452MaRDI QIDQ6047678

Taishi Kurahashi, Yuya Okawa

Publication date: 12 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (3)

Bisimulations and bisimulation games between Verbrugge models ⋮ The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} ⋮ Bisimulations between Verbrugge models and Veltman models

Cites Work

• The logic of \(\Pi_ 1\)-conservativity
• Provability interpretations of modal logic
• The interpretability logic of Peano arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modal completeness of sublogics of the interpretability logic IL