License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.MFCS.2020.66
URN: urn:nbn:de:0030-drops-127352
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2020/12735/
Go to the corresponding LIPIcs Volume Portal


Linker, Sven ; Papacchini, Fabio ; Sevegnani, Michele

Analysing Spatial Properties on Neighbourhood Spaces

pdf-format:
LIPIcs-MFCS-2020-66.pdf (0.5 MB)


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.

BibTeX - Entry

@InProceedings{linker_et_al:LIPIcs:2020:12735,
  author =	{Sven Linker and Fabio Papacchini and Michele Sevegnani},
  title =	{{Analysing Spatial Properties on Neighbourhood Spaces}},
  booktitle =	{45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)},
  pages =	{66:1--66:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-159-7},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{170},
  editor =	{Javier Esparza and Daniel Kr{\'a}ΔΎ},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2020/12735},
  URN =		{urn:nbn:de:0030-drops-127352},
  doi =		{10.4230/LIPIcs.MFCS.2020.66},
  annote =	{Keywords: spatial logic, topology, bisimulation}
}

Keywords: spatial logic, topology, bisimulation
Collection: 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
Issue Date: 2020
Date of publication: 18.08.2020


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI