Bisimulations for coalgebras on Stone spaces

DOI10.1093/logcom/exy001zbMath1444.03186arXiv1412.4586OpenAlexW1810923604MaRDI QIDQ4612432

Sebastian Enqvist, Sumit Sourabh

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1412.4586

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Stone spaces (Boolean spaces) and related structures (06E15)

Related Items

Coalgebraic Geometric Logic: Basic Theory ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ Unnamed Item