Canonicity in power and modal logics of finite achronal width

DOI10.1017/S1755020323000060MaRDI QIDQ6638232FDOQ6638232

Authors: Robert Goldblatt, Ian Hodkinson 

Publication date: 14 November 2024

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

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

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

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)