Automorphisms of the lattice of classical modal logics

DOI10.1007/S11225-015-9638-8zbMATH Open1388.03024arXiv2103.12709OpenAlexW3138463883MaRDI QIDQ284221FDOQ284221

Authors: Adrian Soncodi 

Publication date: 17 May 2016

Published in: Studia Logica (Search for Journal in Brave)

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.

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

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

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)

Cites Work

• Modal logic
• Title not available (Why is that?)
• Lattices of modal logics and their groups of automorphisms
• Finite models constructed from canonical formulas
• Normal forms in modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)