Modal compact Hausdorff spaces

DOI10.1093/LOGCOM/EXS030MaRDI QIDQ5176544zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, Nick Bezhanishvili, John Harding

Publication date 26 February 2015

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/0b8ca482293553dd3ccfd5fa3ff3f9f345913d5a

zbMATH Keywords

compact Hausdorff spacecompact regular framede Vries dualityIsbell dualitymodal algebraSahlqvist correspondenceVietoris functor

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Frames, locales (06D22) Categorical methods in general topology (54B30)

Recommendations

• Modal operators on compact regular frames and de Vries algebras.
• A coalgebraic view on positive modal logic
• An algebraic approach to canonical formulas: modal case
• Coalgebraic semantics for positive modal logic
• Modal logic and the Vietoris functor

Cited in

(17)

• Algorithmic Sahlqvist preservation for modal compact Hausdorff spaces
• Compact Hausdorff spaces with relations and Gleason spaces
• Irreducible equivalence relations, Gleason spaces, and de Vries duality
• The Vietoris functor and modal operators on rings of continuous functions
• A strict implication calculus for compact Hausdorff spaces
• Modal operators on compact regular frames and de Vries algebras.
• Remarks on hyperspaces for Priestley spaces
• Limits in categories of Vietoris coalgebras
• Games for topological fixpoint logic
• MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
• Coalgebraic Geometric Logic: Basic Theory
• Coalgebraic geometric logic
• Subordinations on bounded distributive lattices
• Duality for coalgebras for Vietoris and monadicity
• A calculus for modal compact Hausdorff spaces
• On the structure of modal and tense operators on a Boolean algebra
• Powerset-like monads weakly distribute over themselves in toposes and compact Hausdorff spaces

This page was built for publication: Modal compact Hausdorff spaces

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