Switch to: References

Add citations

You must login to add citations.
  1. Sahlqvist Correspondence for Modal Mu-Calculus.Johan Benthem, Nick Bezhanishvili & Ian Hodkinson - 2012 - Studia Logica 100 (1-2):31-60.
    We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Hybrid Formulas and Elementarily Generated Modal Logics.Ian Hodkinson - 2006 - Notre Dame Journal of Formal Logic 47 (4):443-478.
    We characterize the modal logics of elementary classes of Kripke frames as precisely those modal logics that are axiomatized by modal axioms synthesized in a certain effective way from "quasi-positive" sentences of hybrid logic. These are pure positive hybrid sentences with arbitrary existential and relativized universal quantification over nominals. The proof has three steps. The first step is to use the known result that the modal logic of any elementary class of Kripke frames is also the modal logic of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Algorithmic Correspondence and Canonicity for Non-Distributive Logics.Willem Conradie & Alessandra Palmigiano - 2019 - Annals of Pure and Applied Logic 170 (9):923-974.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Sahlqvist Correspondence for Modal Mu-Calculus.Johan van Benthem, Nick Bezhanishvili & Ian Hodkinson - 2012 - Studia Logica 100 (1-2):31-60.
    We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Analogues of Bull’s Theorem for Hybrid Logic.Willem Conradie & Claudette Robinson - 2019 - Logic Journal of the IGPL 27 (3):281-313.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Axiomatizing Hybrid Logic Using Modal Logic.Ian Hodkinson & Louis Paternault - 2010 - Journal of Applied Logic 8 (4):386-396.
  • Axiomatizing Hybrid Products.Katsuhiko Sano - 2010 - Journal of Applied Logic 8 (4):459-474.
  • Algorithmic Correspondence and Canonicity for Distributive Modal Logic.Willem Conradie & Alessandra Palmigiano - 2012 - Annals of Pure and Applied Logic 163 (3):338-376.