Sciweavers

Share
APAL
1999

Lattices of Modal Logics and Their Groups of Automorphisms

8 years 11 months ago
Lattices of Modal Logics and Their Groups of Automorphisms
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, NExt S4.3, has exactly two automorphisms, NExt K.alt1 has continuously many automorphisms. Moreover, any automorphism of NExt S4 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 NExt S4 iff its lattice of extensions is finite and linear.
Marcus Kracht
Related Content
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1999
Where APAL
Authors Marcus Kracht
Comments (0)
books