Home > Research > Publications & Outputs > Analysing spatial properties on neighbourhood s...

Links

Text available via DOI:

View graph of relations

Analysing spatial properties on neighbourhood spaces

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date1/08/2020
Host publication45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020
EditorsJavier Esparza, Daniel Kral�, Daniel Kral�
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages66:1-66:14
Number of pages14
ISBN (electronic)9783959771597
<mark>Original language</mark>English
Event45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 - Prague, Czech Republic
Duration: 25/08/202026/08/2020

Conference

Conference45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020
Country/TerritoryCzech Republic
CityPrague
Period25/08/2026/08/20

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume170
ISSN (Print)1868-8969

Conference

Conference45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020
Country/TerritoryCzech Republic
CityPrague
Period25/08/2026/08/20

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.