scientific article; zbMATH DE number 6917250

DOI10.4230/LIPIcs.COSIT.2017.1zbMath1433.68433MaRDI QIDQ4580233

Giulia Sindoni, John G. Stell

Publication date: 13 August 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicdiscrete spacequalitative spatial reasoning

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Knowledge representation (68T30)

Related Items (1)

Expressing discrete spatial relations under granularity

Cites Work

• A bi-intuitionistic modal logic: foundations and automation
• Mereotopological connection
• Bi-Heyting algebras, toposes and modalities
• Discrete Mereotopology
• Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
• A Proximity Approach to Some Region-Based Theories of Space
• Digital Topology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: