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

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.