2000 character limit reached
The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$
Published 10 Jul 2020 in math.LO | (2007.05427v2)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.