Lattices of modal logics and their groups of automorphisms

DOI10.1016/S0168-0072(99)00007-XMaRDI QIDQ1125058zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(7)

• Canonical varieties with no canonical axiomatisation
• 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

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)