Works by Sohei Iwata

( view other items matching `Sohei Iwata`, view all matches )
Order:
  1.  13
    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  
  2.  15
    On arithmetical completeness of the logic of proofs.Sohei Iwata & Taishi Kurahashi - 2019 - Annals of Pure and Applied Logic 170 (2):163-179.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  19
    Fixed-point properties for predicate modal logics.Sohei Iwata & Taishi Kurahashi - 2020 - Annals of the Japan Association for Philosophy of Science 29:1-25.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark