Document - Back-and-forth in space: on logics and bisimilarity in closure spaces. Preliminary Extended Version

2022

Report Open Access

Back-and-forth in space: on logics and bisimilarity in closure spaces. Preliminary Extended Version

Ciancia V., Latella D., Massink M., De Vink E. P.

Closure spaces Topological spaces Spatial logics Spatial bisimilarities Stuttering equivalence

We adapt the standard notion of bisimilarity for topological models to closure models and refine it for quasi-discrete closure models. We also define an additional, weaker notion of bisimilarity that is based on paths in space and expresses a form of conditional reachability in a way that is reminiscent of Stuttering Equivalence on transition systems. For each bisimilarity we provide a characterisation with respect to a suitable spatial logic. In this report, the detailed proofs of all the results we present are also included.

Source: ISTI Technical Report, ISTI-TR-2022/018, 2022

Metrics

Back to previous page

Cite as

BibTeX entry

@techreport{oai:it.cnr:prodotti:470871,
	title = {Back-and-forth in space: on logics and bisimilarity in closure spaces. Preliminary Extended Version},
	author = {Ciancia V. and Latella D. and Massink M. and De Vink E. P.},
	doi = {10.32079/isti-tr-2022/018},
	institution = {ISTI Technical Report, ISTI-TR-2022/018, 2022},
	year = {2022}
}