arXiv Analytics

Sign in

arXiv:2103.12709 [math.LO]AbstractReferencesReviewsResources

Automorphisms of the Lattice of Classical Modal Logics

Adrian Soncodi

Published 2021-03-23Version 1

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.

Comments: 28 pages, 1 figure
Journal: Published in Studia Logica, vol 104, November 2015
Categories: math.LO
Subjects: 03B45, F.4.1
Related articles: Most relevant | Search more
arXiv:1709.02467 [math.LO] (Published 2017-09-07)
On the classification of automorphisms of trees
arXiv:1407.5812 [math.LO] (Published 2014-07-22)
Ł-Axiomatizability in intermediate and normal modal logics
arXiv:2206.02228 [math.LO] (Published 2022-06-05)
On automorphisms of $\mathcal P(λ)/[λ]^{<λ}$

Links

Toolbox