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

中文翻译：

---

$$\textbf{IL}$$ 的子逻辑的不动点和 Craig 插值属性

我们研究了可解释性逻辑\(\textbf{IL}\)的子逻辑的不动点属性和 Craig 插值属性。我们提供了这些子逻辑的完整描述，这些子逻辑涉及不动点的唯一性、不动点属性和 Craig 插值属性。