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

DOI10.1007/S10472-007-9083-0zbMATH Open1127.03013OpenAlexW2029982687MaRDI QIDQ2462632FDOQ2462632

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)

Cites Work

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

Cited In (10)

• Dynamic Branching in Qualitative Constraint Networks via Counting Local Models
• On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
• Subject-oriented spatial logic
• Title not available (Why is that?)
• Dynamic branching in qualitative constraint-based reasoning via counting local models
• A Logic of East and West
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• Decision tree learning with spatial modal logics
• Title not available (Why is that?)
• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions

Recommendations

• Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning 👍 👎
• Neighborhood semantics for modal logic 👍 👎
• A modal logic for subject-oriented spatial reasoning 👍 👎
• A modal and relevance logic for qualitative spatial reasoning 👍 👎
• A spatial modal logic with a location interpretation 👍 👎
• Neighbourhood semantics for modal relevant logics 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2462632)