Keyphrases
- spatio temporal
- computer algebra
- natural deduction
- spatial information
- algebraic structure
- formal language
- spatial and temporal
- spatial data
- proof search
- sequent calculus
- geographic information systems
- computational properties
- logic programming
- automated theorem proving
- relation algebra
- cut elimination
- qualitative spatial
- modal logic
- multi valued
- proof procedure
- qualitative spatial reasoning
- predicate logic
- spatial reasoning
- spatial relations
- spatial databases
- space time
- set theory
- genetic algorithm
- logical framework