Automorphisms of the Lattice of Classical Modal Logics
Abstract
In this paper we analyze the propositional extensions of the minimal classical modal logic system E, which form a lattice denoted as CExtE. Our method of analysis uses algebraic calculations with canonical forms, which are a generalization of the normal forms applicable to normal modal logics. As an application, we identify a group of automorphisms of CExtE that is isomorphic to the symmetric group S4.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2021
- DOI:
- 10.48550/arXiv.2103.12709
- arXiv:
- arXiv:2103.12709
- Bibcode:
- 2021arXiv210312709S
- Keywords:
-
- Mathematics - Logic;
- 03B45;
- F.4.1
- E-Print:
- 28 pages, 1 figure