Switch to: References

Add citations

You must login to add citations.
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Modal and Temporal Extensions of Non-Distributive Propositional Logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 24 (2):156-185.
    Download  
     
    Export citation  
     
    Bookmark   6 citations