Automorphisms of the lattice of classical modal logics

DOI10.1007/S11225-015-9638-8zbMath1388.03024arXiv2103.12709OpenAlexW3138463883MaRDI QIDQ284221

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lattices of modal logics and their groups of automorphisms
• Finite models constructed from canonical formulas
• Normal forms in modal logic

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