The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}

DOI10.1007/S00153-023-00882-6MaRDI QIDQ6178467zbMATH OpenOpenAlexFDO

Authors Sohei Iwata, Taishi Kurahashi, Yuya Okawa

Publication date 18 January 2024

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

Craig interpolation propertyfixed point propertyinterpretability logicuniqueness of fixed points

Mathematics Subject Classification ID

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

Abstract: We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic $mathbfIL$. We provide a complete description of these sublogics concerning the uniqueness of fixed points, the fixed point property and the Craig interpolation property.

Cites work

• 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
• Explicit fixed points in interpretability logic
• scientific article; zbMATH DE number 3708351 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• scientific article; zbMATH DE number 1735871 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 218496 (Why is no real title available?)
• scientific article; zbMATH DE number 218514 (Why is no real title available?)
• Modal completeness of sublogics of the interpretability logic IL
• Self-reference and modal logic
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)

Cited in

(1)

• Modular sequent calculi for interpretability logics

This page was built for publication: The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6178467)