The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$
Sohei Iwata, Taishi Kurahashi, Yuya Okawa · Archive for Mathematical Logic · 2023
Abstract We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic $$\textbf{IL}$$ IL . We provide a complete description of these sublogics concerning the uniqueness of fixed points, the fixed point property and the Craig interpolation property.