Sindoni, G, Sano, K and Stell, JG orcid.org/0000-0001-9644-1908 (2021) Expressing discrete spatial relations under granularity. Journal of Logical and Algebraic Methods in Programming, 122. 100682. p. 100682. ISSN 2352-2208
Abstract
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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | ©2021 Elsevier Inc. All rights reserved. This is an author produced version of an article, published in Journal of Logical and Algebraic Methods in Programming. Uploaded in accordance with the publisher's self-archiving policy. |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 25 May 2021 11:28 |
Last Modified: | 27 Apr 2022 00:38 |
Status: | Published |
Publisher: | Elsevier |
Identification Number: | 10.1016/j.jlamp.2021.100682 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:174308 |