The logic of discrete qualitative relations
From MaRDI portal
Publication:4580233
Recommendations
- Axiomatizing discrete spatial relations
- Modal logics based on mathematical morphology for qualitative spatial reasoning
- Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
- Modal logics for mereotopological relations
- Dynamic logics of the region-based theory of discrete spaces
Cites work
- scientific article; zbMATH DE number 19495 (Why is no real title available?)
- scientific article; zbMATH DE number 108434 (Why is no real title available?)
- scientific article; zbMATH DE number 5791678 (Why is no real title available?)
- A bi-intuitionistic modal logic: foundations and automation
- A proximity approach to some region-based theories of space
- Bi-Heyting algebras, toposes and modalities
- Digital Topology
- Discrete mereotopology
- Handbook of modal logic
- Mereotopological connection
- Modal logics based on mathematical morphology for qualitative spatial reasoning
Cited in
(8)- Qualitative reasoning about gradual deformations of topological relationships
- scientific article; zbMATH DE number 4025442 (Why is no real title available?)
- Axiomatizing discrete spatial relations
- scientific article; zbMATH DE number 3974344 (Why is no real title available?)
- Embedding RCC8D in the collective spatial logic CSLCS
- Modal logics based on mathematical morphology for qualitative spatial reasoning
- Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
- Expressing discrete spatial relations under granularity
This page was built for publication: The logic of discrete qualitative relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580233)