Order:
  1.  13
    Modal completeness of sublogics of the interpretability logic IL.Taishi Kurahashi & Yuya Okawa - 2021 - Mathematical Logic Quarterly 67 (2):164-185.
    We study modal completeness and incompleteness of several sublogics of the interpretability logic. We introduce the sublogic, and prove that is sound and complete with respect to Veltman prestructures which are introduced by Visser. Moreover, we prove the modal completeness of twelve logics between and with respect to Veltman prestructures. On the other hand, we prove that eight natural sublogics of are modally incomplete. Finally, we prove that these incomplete logics are complete with respect to generalized Veltman prestructures. As a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  14
    The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$.Sohei Iwata, Taishi Kurahashi & Yuya Okawa - 2024 - Archive for Mathematical Logic 63 (1):1-37.
    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 point property and the Craig interpolation property.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  8
    Unary Interpretability Logics for Sublogics of the Interpretability Logic $$\textbf{IL}$$.Yuya Okawa - 2024 - Studia Logica 112 (3):693-721.
    De Rijke introduced a unary interpretability logic $$\textbf{il}$$, and proved that $$\textbf{il}$$ is the unary counterpart of the binary interpretability logic $$\textbf{IL}$$. In this paper, we find the unary counterparts of the sublogics of $$\textbf{IL}$$.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  22
    On Guaspari's problem about partially conservative sentences.Taishi Kurahashi, Yuya Okawa, V. Yu Shavrukov & Albert Visser - 2022 - Annals of Pure and Applied Logic 173 (5):103087.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark