Lattices of modal logics and their groups of automorphisms

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

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(99)00007-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Automorphisms of orthomodular lattices and symmetries of quantum logics.Věra Trnková - 1991 - Foundations of Physics 21 (7):855-860.
Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
BK-lattices. Algebraic Semantics for Belnapian Modal Logics.Sergei P. Odintsov & E. I. Latkin - 2012 - Studia Logica 100 (1-2):319-338.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator.Hiroki Takamura - 2012 - Studia Logica 100 (6):1137-1148.
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.
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
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.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.

Analytics

Added to PP
2014-01-16

Downloads
61 (#258,521)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

Add more citations

References found in this work

No references found.

Add more references