Embedding RCC8D in the collective spatial logic CSLCS

DOI10.1007/978-3-030-21485-2_15MaRDI QIDQ6199109zbMATH OpenOpenAlexFDO

Authors Vincenzo Ciancia, Diego Latella, Mieke Massink

Publication date 23 February 2024

Published in Models, Languages, and Tools for Concurrent and Distributed Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-21485-2_15

zbMATH Keywords

adjacency spacesclosure spacesCSLCSRCC8DSLCSspatial logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Generalized region connection calculus
• A new perspective on the mereotopology of RCC8
• The logic of discrete qualitative relations
• scientific article; zbMATH DE number 1949046
• Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces

Cited in

(1)

• Minimisation of spatial models using branching bisimilarity

This page was built for publication: Embedding RCC8D in the collective spatial logic CSLCS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6199109)