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)
|
Text
219717.pdf - Published Version Available under License Creative Commons Attribution. 508kB |
Publisher's URL: https://drops.dagstuhl.de/opus/volltexte/2020/12735/
Abstract
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 |
|---|---|
| Status: | Published |
| Refereed: | Yes |
| 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 |
| ISSN: | 1868-8969 |
| 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
Funder and Project Information
Funder and Project Information