A Modal Logic for Subject-Oriented Spatial Reasoning.
Przemyslaw Andrzej WalegaMichal ZawidzkiPublished in: TIME (2019)
Keyphrases
- modal logic
- spatial reasoning
- temporal logic
- spatial relations
- inference rules
- temporal reasoning
- spatial knowledge
- directional relations
- classical logic
- topological relations
- default logic
- nonmonotonic logics
- conditional logic
- prime implicates
- epistemic logic
- situation calculus
- qualitative spatial reasoning
- dynamic logic
- formal theory
- modal operators
- autoepistemic logic
- multiscale
- explanation based generalization
- model checking