Canonicity in power and modal logics of finite achronal width

DOI10.1017/S1755020323000060MaRDI QIDQ6638232zbMATH OpenFDO

Authors Robert Goldblatt, Ian Hodkinson

Publication date 14 November 2024

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1755020323000060

zbMATH Keywords

canonical modal logicfinite width modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Cites work

• An incomplete logic containing S4
• Boolean Algebras with Operators. Part I
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3494368 (Why is no real title available?)
• scientific article; zbMATH DE number 1215474 (Why is no real title available?)
• scientific article; zbMATH DE number 877756 (Why is no real title available?)
• Logics containing K4. Part I
• Logics containing K4. Part II
• Modal logic
• Model theory.
• On a problem of formal logic.
• Properties of Tense Logics
• Semantic analysis of tense logics
• The extensions of the modal logic K5
• The lattice of modal logics: an algebraic investigation
• The structure of lattices of subframe logics
• Transitive logics of finite width with respect to proper-successor-equivalence
• Two simple incomplete modal logics
• Varieties of complex algebras

Cited in

(1)

• Construction of canonical models for K45 and weaker systems

This page was built for publication: Canonicity in power and modal logics of finite achronal width

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