Expressing discrete spatial relations under granularity (Q1979964): Difference between revisions

@@ Property / describes a project that uses @@
+MetTeL
@@ Property / describes a project that uses: MetTeL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2021.100682
+Normal rank
@@ Property / OpenAlex ID @@
+W3157705810
@@ Property / OpenAlex ID: W3157705810 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Spatial Logics for Closure Spaces
@@ Property / cites work: Model Checking Spatial Logics for Closure Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Some Morphological Operators on Simplicial Complex Spaces
+Normal rank
@@ Property / cites work @@
+Discrete Mereotopology
@@ Property / cites work: Discrete Mereotopology / rank @@
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5104710
@@ Property / cites work: Q5104710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572939
@@ Property / cites work: Q5572939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4443185
@@ Property / cites work: Q4443185 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4929939
@@ Property / cites work: Q4929939 / rank @@
+Normal rank
@@ Property / cites work @@
+On some intuitionistic modal logics
@@ Property / cites work: On some intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+A formalization of the propositional calculus of H-B logic
+Normal rank
@@ Property / cites work @@
+Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
+Normal rank
@@ Property / cites work @@
+Q3884093
@@ Property / cites work: Q3884093 / rank @@
+Normal rank
@@ Property / cites work @@
+Graphical Partitions and Graphical Relations
@@ Property / cites work: Graphical Partitions and Graphical Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing discrete spatial relations
@@ Property / cites work: Axiomatizing discrete spatial relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4580233
@@ Property / cites work: Q4580233 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric Heyting relation algebras with applications to hypergraphs
+Normal rank
@@ Property / cites work @@
+A bi-intuitionistic modal logic: foundations and automation
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1979964