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

DOI10.1007/S10472-007-9083-0MaRDI QIDQ2462632zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A modal logic for subject-oriented spatial reasoning
• scientific article; zbMATH DE number 877746
• A modal and relevance logic for qualitative spatial reasoning
• A spatial modal logic with a location interpretation
• scientific article; zbMATH DE number 1487806
• scientific article; zbMATH DE number 5241969
• Modal logics based on mathematical morphology for qualitative spatial reasoning
• Neighborhood semantics for modal logic
• Neighbourhood semantics for modal relevant logics

Cites work

• scientific article; zbMATH DE number 1487799 (Why is no real title available?)
• scientific article; zbMATH DE number 1487806 (Why is no real title available?)
• scientific article; zbMATH DE number 1931665 (Why is no real title available?)
• scientific article; zbMATH DE number 877746 (Why is no real title available?)
• A general tableau method for propositional interval temporal logics
• A modal walk through space
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• An optimal decision procedure for right propositional neighborhood logic
• Expressiveness and completeness of an interval tense logic
• Maintaining knowledge about temporal intervals
• Modal Logics of Topological Relations
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
• Qualitative spatial representation and reasoning: An overview
• Undecidability of compass logic

Cited in

(11)

• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
• On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
• Subject-oriented spatial logic
• Dynamic Branching in Qualitative Constraint Networks via Counting Local Models
• scientific article; zbMATH DE number 877746 (Why is no real title available?)
• 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
• A tableau-based system for spatial reasoning about directional relations
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)

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)