Finite Models for a Spatial Logic with Discrete and Topological Path Operators

• DOI: 10.4230/lipics.mfcs.2021.72
• Publication Date: 2021-01-01
• Authors: Sven Linker; Fabio Papacchini; Michele Sevegnani
• Keywords: Discrete space; Neighbourhood (mathematics); Separated sets; Compact-open topology

This paper analyses models of a spatial logic with path operators based on the class neighbourhood spaces, also called pretopological or closure generalisation topological spaces. For this purpose, we distinguish two dimensions: type spaces which are built, and allowed paths. investigate general subclass quasi-discrete closely resemble graphs. paths, analyse cases consist an enumeration points, unit interval. We show that admits finite over both Finally, prove for does not have model property, either