Analysing spatial properties on neighbourhood spaces

Linker, Sven and Papacchini, Fabio and Sevegnani, Michele (2020) Analysing spatial properties on neighbourhood spaces. In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 :. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, CZE, 66:1-66:14. ISBN 9783959771597

Full text not available from this repository.


We present a bisimulation relation for neighbourhood spaces, a generalisation of topological spaces. We show that this notion, path preserving bisimulation, preserves formulas of the spatial logic SLCS. We then use this preservation result to show that SLCS cannot express standard topological properties such as separation and connectedness. Furthermore, we compare the bisimulation relation with standard modal bisimulation and modal bisimulation with converse on graphs and prove it coincides with the latter.

Item Type:
Contribution in Book/Report/Proceedings
Uncontrolled Keywords:
?? bisimulationspatial logictopologysoftware ??
ID Code:
Deposited By:
Deposited On:
16 Jun 2021 13:57
Last Modified:
28 Nov 2023 10:39