Stone coalgebras

DOI10.1016/J.TCS.2004.07.023zbMATH Open1075.68053OpenAlexW2912848864MaRDI QIDQ703523FDOQ703523

Authors: Clemens Kupke, Alexander Kurz, Yde Venema 

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

Recommendations

• Stone coalgebras
• Bisimulations for coalgebras on Stone spaces
• Foundations of Software Science and Computational Structures
• Coalgebras and modal expansions of logics
• Modalities in the Stone age: a comparison of coalgebraic logics

zbMATH Keywords

Vietoris topologyCoalgebraStone spacesDescriptive general framesKripke polynomial functorsModal logic

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Title not available (Why is that?)
• Domain theory in logical form
• Universal coalgebra: A theory of systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topologies on Spaces of Subsets
• Coalgebraic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A domain equation for bisimulation
• Title not available (Why is that?)
• The Order Structure of Stone Spaces and the T_D‐Separation Axiom
• Topology and duality in modal logic
• A hierarchy of probabilistic system types
• A Cook's tour of the finitary non-well-founded sets
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A coalgebraic view of Heyting duality
• Many-sorted coalgebraic modal logic: A model-theoretic study
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coalgebraic modal logic of finite rank
• Modal predicates and coequations
• Coalgebraic semantics for positive modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Calculus of Terms for Coalgebras of Polynomial Functors

Cited In (54)

• A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
• Monoidal extended stone duality
• A ghost at \(\omega_1\)
• Bisimulations for coalgebras on Stone spaces
• Dualities for modal algebras from the point of view of triples
• Title not available (Why is that?)
• On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras
• Saturated Kripke structures as Vietoris coalgebras
• Title not available (Why is that?)
• From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
• A modal proof theory for final polynomial coalgebras
• Stone coalgebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Natural duality, modality, and coalgebra
• Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
• On a categorical framework for coalgebraic modal logic
• 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
• Coalgebras and modal expansions of logics
• Enriched Stone-type dualities
• The Vietoris functor and modal operators on rings of continuous functions
• Many-valued coalgebraic logic over semi-primal varieties
• Coalgebraic representations of distributive lattices with operators
• Stone dualities from opfibrations
• Coalgebraic semantics of modal logics: an overview
• Esakia duality and its extensions
• A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
• Vietoris bisimulations
• Expressivity of Many-Valued Modal Logics, Coalgebraically
• Probabilistic logics based on Riesz spaces
• Title not available (Why is that?)
• Positive monotone modal logic
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
• Coalgebraic logics \& duality
• Remarks on hyperspaces for Priestley spaces
• The enriched Vietoris monad on representable spaces
• Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
• Games for topological fixpoint logic
• Title not available (Why is that?)
• Modal logic and the Vietoris functor
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic
• Coalgebraic Geometric Logic: Basic Theory
• MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
• On monotone modalities and adjointness
• Foundations of Software Science and Computational Structures
• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
• Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
• Hausdorff coalgebras
• Limits in categories of Vietoris coalgebras
• Title not available (Why is that?)
• Stone Dualities from Opfibrations

This page was built for publication: Stone coalgebras

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