Stone coalgebras
type: Item
instance of: scholarly article
title: Stone coalgebras
zbMATH Open document ID: 1075.68053
author: Clemens Kupke
author: Alexander Kurz
author: Yde Venema
published in: Theoretical Computer Science
publication date: 2005-01-11T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 18C50
zbMATH DE Number: 2126098
zbMATH Keywords: Coalgebra
zbMATH Keywords: Stone spaces
zbMATH Keywords: Vietoris topology
zbMATH Keywords: Modal logic
zbMATH Keywords: Descriptive general frames
zbMATH Keywords: Kripke polynomial functors
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.07.023
OpenAlex ID: W2912848864
cites work: A Cook's Tour of the Finitary Non-Well-Founded Sets
cites work: A domain equation for bisimulation
cites work: Domain theory in logical form
cites work: Q4843177
cites work: Q4499313
cites work: A hierarchy of probabilistic system types
cites work: Modal logic
cites work: Q4738219
cites work: A coalgebraic view of Heyting duality
cites work: Q4348453
cites work: Q3994935
cites work: Q4049062
cites work: The Order Structure of Stone Spaces and the TD‐Separation Axiom
cites work: Q4128788
cites work: A Calculus of Terms for Coalgebras of Polynomial Functors
cites work: Many-sorted coalgebraic modal logic: A model-theoretic study
cites work: Q3965241
cites work: Q4533390
cites work: Q4329244
cites work: Coalgebraic modal logic of finite rank
cites work: Modal predicates and coequations
cites work: Q5639839
cites work: Topologies on Spaces of Subsets
cites work: Coalgebraic logic
cites work: Coalgebraic semantics for positive modal logic
cites work: Q2762529
cites work: Q4499303
cites work: Universal coalgebra: A theory of systems
cites work: Topology and duality in modal logic
cites work: On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
cites work: Q3994458
cites work: Q4256309
DOI: 10.1016/J.TCS.2004.07.023
description: scientific article; zbMATH DE number 2126098