Automorphisms of the Lattice of Classical Modal Logics
Logic
2021-03-24 v1
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.
Keywords
Cite
@article{arxiv.2103.12709,
title = {Automorphisms of the Lattice of Classical Modal Logics},
author = {Adrian Soncodi},
journal= {arXiv preprint arXiv:2103.12709},
year = {2021}
}
Comments
28 pages, 1 figure