The fixed point and the Craig interpolation properties for sublogics of
arXiv:2007.05427
Abstract
We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic . We provide a complete description of these sublogics concerning the uniqueness of fixed points, the fixed point property and the Craig interpolation property.
37 pages