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.

arXiv comment37 pages

References in corpus (1)

• Modal completeness of sublogics of the interpretability logic $\mathbf{IL}$

Cited by in corpus (1)

• Modal completeness of sublogics of the interpretability logic $\mathbf{IL}$