Analysing Spatial Properties on Neighbourhood Spaces

Linker, S., Papacchini, F. and Sevegnani, M. (2020) Analysing Spatial Properties on Neighbourhood Spaces. In: 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Prague, Czech Republic, 24-28 Aug 2020, (doi: 10.4230/LIPIcs.MFCS.2020.66)

219717.pdf - Published Version
Available under License Creative Commons Attribution.


Publisher's URL:


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:Conference Proceedings
Glasgow Author(s) Enlighten ID:Sevegnani, Dr Michele
Authors: Linker, S., Papacchini, F., and Sevegnani, M.
College/School:College of Science and Engineering > School of Computing Science
Copyright Holders:Copyright © Sven Linker, Fabio Papacchini, and Michele Sevegnani
Publisher Policy:Reproduced under a Creative Commons license
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
172422Science of Sensor System Software (SSSS)Muffy CalderEngineering and Physical Sciences Research Council (EPSRC)EP/N007565/1Computing Science