Switch to: Citations

Add references

You must login to add references.
  1. Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • (1 other version)A solution of the decision problem for the Lewis systems s2 and s4, with an application to topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • On the canonicity of Sahlqvist identities.Bjarni Jónsson - 1994 - Studia Logica 53 (4):473 - 491.
    We give a simple proof of the canonicity of Sahlqvist identities, using methods that were introduced in a paper by Jónsson and Tarski in 1951.
    Download  
     
    Export citation  
     
    Bookmark   17 citations