Switch to: References

Add citations

You must login to add citations.
  1. On expressive power of basic modal intuitionistic logic as a fragment of classical FOL.Grigory K. Olkhovikov - 2017 - Journal of Applied Logic 21:57-90.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On generalized Van Benthem-type characterizations.Grigory K. Olkhovikov - 2017 - Annals of Pure and Applied Logic 168 (9):1643-1691.
    Download  
     
    Export citation  
     
    Bookmark   3 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   1 citation