论文标题
$ \ mathbf {il} $的sublogics的固定点和Craig插值属性
The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$
论文作者
论文摘要
我们研究了可解释性逻辑$ \ Mathbf {il} $的sublogics的固定点属性和Craig插值属性。我们提供了有关这些sbobogics的完整描述，这些sbobodics涉及固定点的独特性，固定点属性和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.
