4 found
Order:
  1.  27
    Projective unification in transitive modal logics.Sławomir Kost - 2018 - Logic Journal of the IGPL 26 (5):548-566.
  2.  17
    Finitary unification in locally tabular modal logics characterized.Wojciech Dzik, Sławomir Kost & Piotr Wojtylak - 2022 - Annals of Pure and Applied Logic 173 (4):103072.
  3.  3
    Unification types and union splittings in intermediate logics.Wojciech Dzik, Sławomir Kost & Piotr Wojtylak - 2025 - Annals of Pure and Applied Logic 176 (1):103508.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  47
    Frames for fusions of modal logics.Sławomir Kost - 2018 - Journal of Applied Non-Classical Logics 28 (1):1-19.
    Let us consider multimodal logics and. We assume that is characterised by a class of connected frames, and there exists an -frame with a so-called -starting point. Similarly, the logic is characterised by a class of connected frames, and there exists an -frame with a -starting point. Using isomorphic copies of the frames and, we construct a connected frame which characterises the fusion. The frame thus obtained has some useful properties. Among others, is countable if both and are countable, and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark