Linker, Sven 
ORCID: 0000-0003-2913-7943, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Sevegnani, Michele
(2020)
Analysing Spatial Properties on Neighbourhood Spaces.
In: 45th International Symposium on Mathematical Foundations of Computer Science, Prague.
|
Text
bisimulations.pdf - Author Accepted Manuscript Download (500kB) | Preview |
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 or Workshop Item (Unspecified) |
|---|---|
| Uncontrolled Keywords: | cs.LO, cs.LO |
| Depositing User: | Symplectic Admin |
| Date Deposited: | 07 Jul 2020 08:58 |
| Last Modified: | 18 Jan 2023 23:47 |
| DOI: | 10.4230/LIPIcs.MFCS.2020.66 |
| Related URLs: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3092229 |
Dimensions
Dimensions
