arXiv Analytics

Sign in

arXiv:2007.05427 [math.LO]AbstractReferencesReviewsResources

The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$

Sohei Iwata, Taishi Kurahashi, Yuya Okawa

Published 2020-07-10Version 1

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.

Comments: 37 pages
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:2006.10508 [math.LO] (Published 2020-06-18)
Interpretability in PRA
arXiv:2004.06902 [math.LO] (Published 2020-04-15)
A new principle in the interpretability logic of all reasonable arithmetical theories
arXiv:2004.03813 [math.LO] (Published 2020-04-08)
Modal completeness of sublogics of the interpretability logic $\mathbf{IL}$

Links

Toolbox