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.
Similar content being viewed by others
References
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.
Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford Logic Guides (Book 35), Clarendon Press, Oxford, 1997.
Chagrov, A., F. Wolter, and M. Zakharyaschev, Advanced Modal Logic, Handbook of Philosophical Logic, vol. 3, 2001.
Chellas B. F.: Modal Logic—An Introduction. Cambridge University Press, Cambridge (1980)
Fine, K., Normal Forms in Modal Logic, Notre Dame Journal of Formal Logic Volume XVI, Number 2, April 1975.
Hughes G. W., Cresswell M. J.: A New Introduction to Modal Logic. Routledge, London (1996)
Kracht M.: Lattices of modal logics and their groups of automorphisms. Annals of Pure and Applied Logic 100(1–3), 99–139 (1999)
Moss L.: Finite models constructed from canonical formulas. Journal of Philosophical Logic 36(6), 605–640 (2007)
Soncodi, A., A Characterization of Non-Iterative Normal Modal Logics, to be published, 2015.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Soncodi, A. Automorphisms of the Lattice of Classical Modal Logics. Stud Logica 104, 249–276 (2016). https://doi.org/10.1007/s11225-015-9638-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9638-8