Stone coalgebras

DOI10.1016/j.tcs.2004.07.023zbMath1075.68053OpenAlexW2912848864MaRDI QIDQ703523

Yde Venema, Clemens Kupke, Alexander Kurz

Publication date: 11 January 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.07.023

zbMATH Keywords

Vietoris topologyCoalgebraStone spacesDescriptive general framesKripke polynomial functorsModal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Other algebras related to logic (03G25) Categorical semantics of formal languages (18C50)

Related Items (42)

Relating Coalgebraic Notions of Bisimulation ⋮ On a categorical framework for coalgebraic modal logic ⋮ MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS ⋮ Stone dualities from opfibrations ⋮ A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation ⋮ Coalgebraic Geometric Logic: Basic Theory ⋮ Enriched Stone-type dualities ⋮ Unnamed Item ⋮ Coalgebraic representations of distributive lattices with operators ⋮ Unnamed Item ⋮ Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory ⋮ Stone Dualities from Opfibrations ⋮ Remarks on hyperspaces for Priestley spaces ⋮ Natural duality, modality, and coalgebra ⋮ Unnamed Item ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Unnamed Item ⋮ Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic ⋮ Unnamed Item ⋮ Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence ⋮ Bitopological duality for algebras of Fitting's logic and natural duality extension ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system ⋮ The Vietoris functor and modal operators on rings of continuous functions ⋮ Stochastic coalgebraic logic: bisimilarity and behavioral equivalence ⋮ Positive monotone modal logic ⋮ The enriched Vietoris monad on representable spaces ⋮ Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces ⋮ Hausdorff coalgebras ⋮ A modal proof theory for final polynomial coalgebras ⋮ Unnamed Item ⋮ Coalgebraic logics \& duality ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Expressivity of Many-Valued Modal Logics, Coalgebraically ⋮ Limits in categories of Vietoris coalgebras ⋮ Easkia Duality and Its Extensions ⋮ From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference ⋮ On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION ⋮ Saturated Kripke structures as Vietoris coalgebras ⋮ Dualities for modal algebras from the point of view of triples

Cites Work

• Topology and duality in modal logic
• Domain theory in logical form
• Coalgebraic logic
• A coalgebraic view of Heyting duality
• Universal coalgebra: A theory of systems
• A domain equation for bisimulation
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
• Modal Predicates and Coequations
• A Cook's Tour of the Finitary Non-Well-Founded Sets
• The Order Structure of Stone Spaces and the T_D‐Separation Axiom
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• A Calculus of Terms for Coalgebras of Polynomial Functors
• Coalgebraic modal logic of finite rank
• Topologies on Spaces of Subsets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stone coalgebras