Switch to: Citations

References in:

Invariant Logics

Mathematical Logic Quarterly 48 (1):29-50 (2002)

Add references

You must login to add references.
  1. Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.
    Some results on the upper end of the lattice of all modal propositional logics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  • Lattices of modal logics and their groups of automorphisms.Marcus Kracht - 1999 - Annals of Pure and Applied Logic 100 (1-3):99-139.
    The present paper investigates the groups of automorphisms for some lattices of modal logics. The main results are the following. The lattice of normal extensions of S4.3, NExtS4.3, has exactly two automorphisms, NExtK.alt1 has continuously many automorphisms. Moreover, any automorphism of NExtS4 fixes all logics of finite codimension. We also obtain the following characterization of pretabular logics containing S4: a logic properly extends a pretabular logic of NExtS4 iff its lattice of extensions is finite and linear.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations