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

DOI10.1007/S00153-023-00882-6arXiv2007.05427OpenAlexW4380153182MaRDI QIDQ6178467FDOQ6178467

Authors: Sohei Iwata, Taishi Kurahashi, Yuya Okawa 

Publication date: 18 January 2024

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

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.

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

zbMATH Keywords

fixed point propertyinterpretability logicCraig interpolation propertyuniqueness 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)

Cites Work

• Title not available (Why is that?)
• Explicit fixed points in interpretability logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Self-reference and modal logic
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 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)