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

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

• [article; zbMATH DE number 1003731 (Why is no real title available?)]
• [article; zbMATH DE number 4033710 (Why is no real title available?)]
• [article; zbMATH DE number 53151 (Why is no real title available?)]
• [article; zbMATH DE number 3494368 (Why is no real title available?)]
• [article; zbMATH DE number 1215474 (Why is no real title available?)]
• [article; zbMATH DE number 877756 (Why is no real title available?)]
• 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
• Logics containing <i>K</i>4. Part I
• Logics containing <i>K</i>4. 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 <i>K</i>5
• 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

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)