The persistence principle over weak interpretability logic

MaRDI QIDQ6392768zbMATH OpenFDO

Authors Sohei Iwata, Taishi Kurahashi, Yuya Okawa

Publication date 4 March 2022

Abstract: We focus on the persistence principle $mathbfP$: $AhdBoBox(AhdB)$ over the weak sublogic $mathbf{IL}^{-}$ of the basic interpretability logic $mathbfIL$. We study the logic $mathbf{IL}^{-}(mathbfP)$ obtained by adding $mathbfP$ into $mathbf{IL}^{-}$ from several perspectives. First, we prove that $mathbf{IL}^{-}(mathbfP)$ enjoys a weak version of the fixed point property. Secondly, we introduce a system of sequent calculus for $mathbf{IL}^{-}(mathbfP)$, and prove the cut-elimination theorem for it. As a consequence, we prove that $mathbf{IL}^{-}(mathbfP)$ enjoys the Craig interpolation property. Thirdly, we show that $mathbf{IL}^{-}(mathbfP)$ is the natural basis of a generalization of simplified Veltman semantics, and prove that $mathbf{IL}^{-}(mathbfP)$ has the finite frame property with respect to that semantics. Finally, we prove that $mathbf{IL}^{-}(mathbfP)$ is sound and complete with respect to some appropriate arithmetical semantics.

This page was built for publication: The persistence principle over weak interpretability logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6392768)