Annals of Pure and Applied Logic 100 (1-3):99-139 (1999)

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(99)00007-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Invariant Logics.Marcus Kracht - 2002 - Mathematical Logic Quarterly 48 (1):29-50.

Add more citations

Similar books and articles

On Computable Automorphisms of the Rational Numbers.A. S. Morozov & J. K. Truss - 2001 - Journal of Symbolic Logic 66 (3):1458-1470.
Prefinitely Axiomatizable Modal and Intermediate Logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
Free Modal Lattices Via Priestley Duality.Claudia B. Wegener - 2002 - Studia Logica 70 (3):339 - 352.
Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
On Extensions of Intermediate Logics by Strong Negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.


Added to PP index

Total views
61 ( #190,755 of 2,533,564 )

Recent downloads (6 months)
2 ( #261,212 of 2,533,564 )

How can I increase my downloads?


My notes