Switch to: References

Add citations

You must login to add citations.
  1. Intuitionistic Non-normal Modal Logics: A General Framework.Tiziano Dalmonte, Charles Grellois & Nicola Olivetti - 2020 - Journal of Philosophical Logic 49 (5):833-882.
    We define a family of intuitionistic non-normal modal logics; they can be seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain only Necessity or Possibility. We then consider the more important case of bimodal logics, which contain both modal operators. In this case we define several interactions between Necessity and Possibility of increasing strength, although weaker than duality. We thereby obtain a lattice of 24 distinct bimodal logics. For all logics we provide both a Hilbert (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Maehara-Style Modal Nested Calculi.Roman Kuznets & Lutz Straßburger - 2019 - Archive for Mathematical Logic 58 (3-4):359-385.
    We develop multi-conclusion nested sequent calculi for the fifteen logics of the intuitionistic modal cube between IK and IS5. The proof of cut-free completeness for all logics is provided both syntactically via a Maehara-style translation and semantically by constructing an infinite birelational countermodel from a failed proof search. Interestingly, the Maehara-style translation for proving soundness syntactically fails due to the hierarchical structure of nested sequents. Consequently, we only provide the semantic proof of soundness. The countermodel construction used to prove completeness (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Label-Free Modular Systems for Classical and Intuitionistic Modal Logics.Sonia Marin & Lutz Straßburger - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 387-406.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Gentzen Sequent Calculi for Some Intuitionistic Modal Logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.
    Intuitionistic modal logics are extensions of intuitionistic propositional logic with modal axioms. We treat with two modal languages ${\mathscr{L}}_\Diamond $ and $\mathscr{L}_{\Diamond,\Box }$ which extend the intuitionistic propositional language with $\Diamond $ and $\Diamond,\Box $, respectively. Gentzen sequent calculi are established for several intuitionistic modal logics. In particular, we introduce a Gentzen sequent calculus for the well-known intuitionistic modal logic $\textsf{MIPC}$. These sequent calculi admit cut elimination and subformula property. They are decidable.
    Download  
     
    Export citation  
     
    Bookmark