The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$ (2007.05427v2)

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