Ciancia V., Latella D., Massink M., De Vink E.
Closure Spaces Topological Spaces Spatial Logics Spatial Bisimilarities
Closure spaces are a generalisation of topological spaces obtained by removing the idempotence requirement on the closure operator. We adapt the standard notion of bisimilarity for topological models, namely Topo-bisimilarity, to closure models|we call the resulting equivalence CM-bisimilarity|and rene it for quasi-discrete closure models. We also dene two additional notions of bisimilarity that are based on paths on space, namely Path-bisimilarity and Compatible Path-bisimilarity, CoPa-bisimilarity for short. The former expresses (unconditional) reachability, the latter renes it in a way that is reminishent of Stuttering Equivalence on transition systems. For each bisimilarity we provide a logical characterisation, using variants of SLCS.We also address the issue of (space) minimisation via the three equivalences.
Source: Research report, ITMaTTerS, PRIN 2017FTXR7S, 2021
@techreport{oai:it.cnr:prodotti:454056, title = {On Bisimilarities for Closure Spaces - Preliminary Version}, author = {Ciancia V. and Latella D. and Massink M. and De Vink E.}, institution = {Research report, ITMaTTerS, PRIN 2017FTXR7S, 2021}, year = {2021} }