2 search results - page 1 / 1 » Lattices of Modal Logics and Their Groups of Automorphisms |
APAL
1999
13 years 4 months ago
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, NExt S4....
MLQ
2002
13 years 4 months ago
2002
A modal logic is called invariant if for all automorphisms of NExt K, () = . An invariant logic is therefore uniquely determined by its surrounding in the lattice. It will be est...