Completeness of temporal and spatial logic ETSL.
Koji IwanumaMasateru HaraoShoichi NoguchiPublished in: Systems and Computers in Japan (1987)
Keyphrases
- spatial and temporal
- spatio temporal
- temporal dimension
- temporal correlation
- temporal aspects
- spatial features
- temporal resolution
- spatial temporal
- temporal information
- spatial data
- space time
- linear temporal logic
- spatio temporal data
- spatial information
- spatio temporal databases
- temporal dependencies
- modal logic
- temporal domain
- temporal databases
- temporal behavior
- spatial correlation
- logic programming
- temporal reasoning
- spatial distribution
- spatio temporally
- spatial locality
- temporal constraints
- temporal relationships
- temporal data
- spatial reasoning
- temporal sequences
- temporal redundancy
- data sets
- temporal patterns
- classical logic
- spatial relationships
- temporal logic
- data quality
- temporal knowledge
- video data
- proof theory
- spatial location
- multi valued