Switch to: Citations

Add references

You must login to add references.
  1. Pretabular varieties of modal algebras.W. J. Blok - 1980 - Studia Logica 39 (2-3):101 - 124.
    We study modal logics in the setting of varieties of modal algebras. Any variety of modal algebras generated by a finite algebra — such, a variety is called tabular — has only finitely many subvarieties, i.e. is of finite height. The converse does not hold in general. It is shown that the converse does hold in the lattice of varieties of K4-algebras. Hence the lower part of this lattice consists of tabular varieties only. We proceed to show that there is (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
    Download  
     
    Export citation  
     
    Bookmark   169 citations  
  • Logics containing k4. part I.Kit Fine - 1974 - Journal of Symbolic Logic 39 (1):31-42.
    Download  
     
    Export citation  
     
    Bookmark   41 citations