Lattices of modal logics and their groups of automorphisms

DOI10.1016/S0168-0072(99)00007-XzbMath0938.03035OpenAlexW1986383192MaRDI QIDQ1125058

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

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

Related Items (3)

Automorphisms of the lattice of classical modal logics ⋮ Invariant Logics ⋮ Canonical varieties with no canonical axiomatisation

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