Expressing discrete spatial relations under granularity

DOI10.1016/j.jlamp.2021.100682OpenAlexW3157705810MaRDI QIDQ1979964

John G. Stell, Giulia Sindoni, Katsuhiko Sano

Publication date: 3 September 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100682

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• MetTeL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A bi-intuitionistic modal logic: foundations and automation
• Relation algebras
• On some intuitionistic modal logics
• Axiomatizing discrete spatial relations
• A formalization of the propositional calculus of H-B logic
• Symmetric Heyting relation algebras with applications to hypergraphs
• Model Checking Spatial Logics for Closure Spaces
• Some Morphological Operators on Simplicial Complex Spaces
• Discrete Mereotopology
• Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
• Rough sets
• Using the Universal Modality: Gains and Questions
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Graphical Partitions and Graphical Relations

This page was built for publication: Expressing discrete spatial relations under granularity