Switch to: Citations

Add references

You must login to add references.
  1. Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • (1 other version)Improved decision procedures for Lewis's calculus s4 and Von Wright's calculus M.Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (3):201-214.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.
    Download  
     
    Export citation  
     
    Bookmark   32 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