Duality between modal algebras and neighbourhood frames

DOI10.1007/BF02770513zbMath0685.03013MaRDI QIDQ1825863

Kosta Došen

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

dualityStone representationcategories of modal algebrascategories of neighbourhood frames for modal logicgeneral neighbourhood framesgeneral relational frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Related Items

Duality for \(\kappa\)-additive complete atomic modal algebras, Knowledge Means ‘All’, Belief Means ‘Most’, Canonicity for intensional logics without iterative axioms, Binary modal companions for subintuitionistic logics, Knowledge means ‘all’, belief means ‘most’, CARNAP’S PROBLEM FOR MODAL LOGIC, An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics, Subminimal negation, Mathematical modal logic: A view of its evolution, Canonicity for Intensional Logics with Even Axioms, General frames for relevant modal logics, Correspondence, canonicity, and model theory for monotonic modal logics, Subintuitionistic logics and the implications they prove, Unnamed Item, Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, Topological Perspective on the Hybrid Proof Rules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A duality for Boolean algebras with operators
• Structure Diagrams for Primitive Boolean Algebras
• Categories of frames for modal logic
• Compact zero-dimensional metric spaces of finite type
• Boolean Algebras with Operators. Part I