Automorphisms of the lattice of classical modal logics

DOI10.1007/S11225-015-9638-8MaRDI QIDQ284221zbMATH OpenOpenAlexFDO

Authors Adrian Soncodi

Publication date 17 May 2016

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2103.12709

zbMATH Keywords

modal logicclassical systemslattice automorphismsuniform replacements

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25) Infinite automorphism groups (20B27)

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.

Recommendations

• Lattices of modal logics and their groups of automorphisms
• Invariant logics
• The lattice of extensions of the modal logic of two equivalence relations has the cardinality of the continuum
• scientific article; zbMATH DE number 5046779
• Modular sequent calculi for classical modal logics

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 1852920 (Why is no real title available?)
• Finite models constructed from canonical formulas
• Lattices of modal logics and their groups of automorphisms
• Modal logic
• Normal forms in modal logic

Cited in

(3)

• Lattices of modal logics and their groups of automorphisms
• Definability and automorphisms in abstract logics
• Invariant logics

This page was built for publication: Automorphisms of the lattice of classical modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q284221)