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  
     
    Export citation  
     
    Bookmark   1 citation  
  • From positive PDL to its non-classical extensions.Igor Sedlár & Vít Punčochář - 2019 - Logic Journal of the IGPL 27 (4):522-542.
    We provide a complete binary implicational axiomatization of the positive fragment of propositional dynamic logic. The intended application of this result are completeness proofs for non-classical extensions of positive PDL. Two examples are discussed in this article, namely, a paraconsistent extension with modal De Morgan negation and a substructural extension with the residuated operators of the non-associative Lambek calculus. Informal interpretations of these two extensions are outlined.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Combining linear-time temporal logic with constructiveness and paraconsistency.Norihiro Kamide & Heinrich Wansing - 2010 - Journal of Applied Logic 8 (1):33-61.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Bounded linear-time temporal logic: A proof-theoretic investigation.Norihiro Kamide - 2012 - Annals of Pure and Applied Logic 163 (4):439-466.
    Download  
     
    Export citation  
     
    Bookmark   1 citation