Pages that link to "Item:Q2462632"
From MaRDI portal
The following pages link to A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632):
Displaying 6 items.
- On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning (Q821556) (← links)
- Subject-oriented spatial logic (Q821569) (← links)
- Dynamic branching in qualitative constraint-based reasoning via counting local models (Q2051804) (← links)
- A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
- A Logic of East and West (Q5881809) (← links)
- Dynamic Branching in Qualitative Constraint Networks via Counting Local Models (Q6060100) (← links)
