𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Definability and automorphisms in abstract logics

✍ Scribed by Xavier Caicedo


Publisher
Springer
Year
2004
Tongue
English
Weight
160 KB
Volume
43
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Lattices of modal logics and their group
✍ Marcus Kracht πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 330 KB

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