Lattices of modal logics and their groups of automorphisms

DOI10.1016/S0168-0072(99)00007-XzbMATH Open0938.03035OpenAlexW1986383192MaRDI QIDQ1125058FDOQ1125058

Authors: Marcus Kracht 

Publication date: 22 June 2000

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(99)00007-x

Recommendations

• Invariant logics
• Automorphisms of the lattice of classical modal logics
• On the lattice of extensions of the modal logics \(KAlt_ n\)
• Lattice NExtS4 from the embedding theorem viewpoint
• Modal bilattice logic and its extensions

zbMATH Keywords

pretabular logicslattice of extensionslattice of theorieslattices of modal logics

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)

Cited In (7)

• Automorphisms of the lattice of classical modal logics
• The Automorphism Group of Falsum-Free Product Logic
• Lattice NExtS4 from the embedding theorem viewpoint
• On the lattice of extensions of the modal logics \(KAlt_ n\)
• The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond
• Invariant logics
• Canonical varieties with no canonical axiomatisation

This page was built for publication: Lattices of modal logics and their groups of automorphisms

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