2026-07-23T08:19:32Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:12735 2024-03-06T10:50:42Z ddc:004 open_access

Analysing Spatial Properties on Neighbourhood Spaces Linker, Sven Papacchini, Fabio Sevegnani, Michele spatial logic topology bisimulation 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Sven Linker and Fabio Papacchini and Michele Sevegnani 2020 Is Part Of LIPIcs, Volume 170, 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.MFCS.2020.66 urn:nbn:de:0030-drops-127352 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2020.66 eng https://creativecommons.org/licenses/by/3.0/legalcode