Invariant Logics

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200201)48:1<29::AID-MALQ29>3.0.CO;2-N" /><29::AID-MALQ29>3.0.CO;2-N 10.1002/1521-3870(200201)48:1<29::AID-MALQ29>3.0.CO;2-NzbMath0993.03010OpenAlexW4250742626MaRDI QIDQ2776808

Marcus Kracht

Publication date: 24 July 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200201)48:1<29::aid-malq29>3.0.co;2-n

zbMATH Keywords

automorphism groupnormal modal logicstabular logiclattices of modal logicsinvariant logicKripke-frameprime logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10)

Cites Work

• Lattices of modal logics and their groups of automorphisms
• Tools and techniques in modal logic
• Some embedding theorems for modal logic

This page was built for publication: Invariant Logics