Switch to: References

Add citations

You must login to add citations.
  1. On a Multilattice Analogue of a Hypersequent S5 Calculus.Oleg Grigoriev & Yaroslav Petrukhin - forthcoming - Logic and Logical Philosophy:1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Propositional Dynamic Logic with Belnapian Truth Values.Igor Sedlár - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 503-519.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Disentangling FDE -Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.
    The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations