Bisimulations for coalgebras on Stone spaces-Reference-Cited by-同舟云学术

Bisimulations for coalgebras on Stone spaces

Author:

Enqvist Sebastian¹,Sourabh Sumit²

Affiliation:

1. Department of Philosophy Stockholm University Universitetsvägen, Frescati, Stockholm Sweden

2. Computational Science Lab, Science Park 904 University of Amsterdam, Amsterdam, Netherlands

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

Reference35 articles.

1. Non-well-founded Sets. Number 14 in Lecture Notes. Center for the Study of Language and Information;Aczel,1988

2. Modal compact hausdorff spaces;Bezhanishvili;Journal of Logic and Computation,2012

3. Vietoris bisimulations;Bezhanishvili;Journal of Logic and Computation,2010

4. Modal logics are coalgebraic;Cirstea;Visions of Computer Science, BCS International Academic Research Conference (BCS2008),2008

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Coalgebraic fuzzy geometric logic;International Journal of Information Technology;2024-06-05

3. Coalgebraic Geometric Logic: Basic Theory;Logical Methods in Computer Science;2022-12-08

5. Modal Intuitionistic Logics as Dialgebraic Logics;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08