Linker, S, Papacchini, F 
ORCID: 0000-0002-0310-7378 and Sevegnani, M
(2021)
Finite Models for a Spatial Logic with Discrete and Topological Path Operators.
.
|
Text
model-theory.pdf - Author Accepted Manuscript Download (754kB) | Preview |
Abstract
This paper analyses models of a spatial logic with path operators based on the class of neighbourhood spaces, also called pretopological or closure spaces, a generalisation of topological spaces. For this purpose, we distinguish two dimensions: the type of spaces on which models are built, and the type of allowed paths. For the spaces, we investigate general neighbourhood spaces and the subclass of quasi-discrete spaces, which closely resemble graphs. For the paths, we analyse the cases of quasi-discrete paths, which consist of an enumeration of points, and topological paths, based on the unit interval. We show that the logic admits finite models over quasi-discrete spaces, both with quasi-discrete and topological paths. Finally, we prove that for general neighbourhood spaces, the logic does not have the finite model property, either for quasi-discrete or topological paths.
| Item Type: | Conference Item (Unspecified) |
|---|---|
| Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
| Depositing User: | Symplectic Admin |
| Date Deposited: | 12 Oct 2021 07:39 |
| Last Modified: | 09 Jun 2025 14:35 |
| DOI: | 10.4230/LIPIcs.MFCS.2021.72 |
| Related Websites: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3140064 |
Altmetric
Altmetric