A new modal logic for reasoning about space: spatial propositional neighborhood logic

DOI10.1007/s10472-007-9083-0zbMath1127.03013OpenAlexW2029982687MaRDI QIDQ2462632

Yanyan Li

Publication date: 3 December 2007

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-007-9083-0

zbMATH Keywords

spatial reasoningdeduction systems based on tableauxqualitative spatial logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (7)

A Logic of East and West ⋮ On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning ⋮ Subject-oriented spatial logic ⋮ A new modal logic for reasoning about space: spatial propositional neighborhood logic ⋮ Dynamic Branching in Qualitative Constraint Networks via Counting Local Models ⋮ Dynamic branching in qualitative constraint-based reasoning via counting local models ⋮ A Decidable Spatial Logic with Cone-Shaped Cardinal Directions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• An optimal decision procedure for right propositional neighborhood logic
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• Expressiveness and completeness of an interval tense logic
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• A ModalWalk Through Space
• Undecidability of compass logic
• Automated Reasoning with Analytic Tableaux and Related Methods
• Modal Logics of Topological Relations
• On Decidability and Expressiveness of Propositional Interval Neighborhood Logics

This page was built for publication: A new modal logic for reasoning about space: spatial propositional neighborhood logic