Invariant logics

DOI10.1002/1521-3870(200201)48:1%3C29::AID-MALQ29%3E3.0.CO;2-NMaRDI QIDQ2776808zbMATH OpenOpenAlexFDO

Authors Marcus Kracht

Publication date 24 July 2002

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1521-3870(200201)48:1%3C29::aid-malq29%3E3.0.co;2-n

zbMATH Keywords

automorphism groupinvariant logicKripke-framelattices of modal logicsnormal modal logicsprime logicstabular logic

Mathematics Subject Classification ID

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

Review text

In a previous paper, the author analyzed the groups of automorphisms of various lattices of modal logics. In this paper he goes on with the study of the structure of the group of automorphisms of the lattice NExtK (the distributive lattice of normal logics). In this way, he studies logics which are invariant under all automorphisms in the group. With this objective, he analyzes the set of prime logics in the lattice NExtK. The set of prime logics is identified with a set of Kripke-frames and very interestig techniques to delay with frames are developed.

Recommendations

• Lattices of modal logics and their groups of automorphisms
• Automorphisms of the lattice of classical modal logics
• On the lattice of extensions of the modal logics \(KAlt_ n\)
• scientific article; zbMATH DE number 4037866
• On the Independent Axiomatizability of Modal and Intermediate Logics

Cites work

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

Cited in

(9)

• Lattices of modal logics and their groups of automorphisms
• Automorphisms of the lattice of classical modal logics
• scientific article; zbMATH DE number 5015960 (Why is no real title available?)
• scientific article; zbMATH DE number 4037866 (Why is no real title available?)
• The structure of the lattice of normal extensions of modal logics with cyclic axioms
• Normal modal logics determined by aligned clusters
• The Invariance Modality
• Automorphism groups of small (3,3)-homogeneous logics
• Set-theoretical invariance criteria for logicality

This page was built for publication: Invariant logics

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