$\mathbf{IL}$中子逻辑的不动点和Craig插值性质
The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$
摘要：
研究了可解释逻辑$\mathbf{IL}$的子逻辑的不动点性质和Craig插值性质。我们提供了一个完整的描述，这些子逻辑有关的唯一性的不动点，不动点属性和克雷格插值性质。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
