Expressing discrete spatial relations under granularity

The logic UBiSKt is a bi-intuitionistic modal logic with universal modalities having a semantics in which formulae are interpreted as subgraphs. We use the logic to formalize the idea of looking at subgraphs at different levels of detail. We show how the logic can be used to define various spatial r...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 122; p. 100682
Main Authors Sindoni, Giulia, Sano, Katsuhiko, Stell, John G.
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.08.2021
Online AccessGet full text

Cover

More Information
Summary:The logic UBiSKt is a bi-intuitionistic modal logic with universal modalities having a semantics in which formulae are interpreted as subgraphs. We use the logic to formalize the idea of looking at subgraphs at different levels of detail. We show how the logic can be used to define various spatial relations between subgraphs. These relations are considered with respect to change in level of detail. We use an existing formulation of generalized partitions on graphs and hypergraphs in terms of relations to give a novel generalization of the classical modal logic S5 to a bi-intuitionistic modal logic we call UBiSKtS5.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2021.100682