We focus on the persistence principle over weak interpretability logic. Our object of study is the logic obtained by adding the persistence principle to weak interpretability logic from several perspectives. Firstly, we prove that this l...
Archive for Mathematical Logic Jun 2023 [Refereed]
Abstract
We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic \textbf{IL}. We provide a complete description of these sublogics concerning the uniqueness of fixed points, the fixed...