2026-07-28T16:03:11Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7765 2024-03-06T10:41:11Z ddc:004 open_access

The Logic of Discrete Qualitative Relations Sindoni, Giulia Stell, John G. modal logic qualitative spatial reasoning discrete space We consider a modal logic based on mathematical morphology which allows the expression of mereotopological relations between subgraphs in the setting of the discrete space. A specific form of topological closure for graphs can be expressed in the logic, as a combination of the negation and its bi-intuitionistic dual, as well as a modality, using the stable relation Q, which describes the incidence structure of the graph. By working in this context we have been able to define qualitative spatial relations between discrete regions, and to compare them with earlier works in mereotopology, both in the discrete and in the continuous space. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Giulia Sindoni and John G. Stell 2017 Is Part Of LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.COSIT.2017.1 urn:nbn:de:0030-drops-77651 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.1 eng https://creativecommons.org/licenses/by/3.0/legalcode