Aspecto-Temporal Meanings Analysed by Combinatory Logic.
Jean-Pierre DesclésAnca Christine PascuHee-Jin RoPublished in: J. Log. Lang. Inf. (2014)
Keyphrases
- linear temporal logic
- spatio temporal
- temporal data
- temporal constraints
- multi valued
- temporal analysis
- temporal information
- modal logic
- temporal reasoning
- temporal databases
- classical logic
- databases
- similarity measure
- predicate logic
- formal theory
- logical framework
- space time
- temporal knowledge
- temporal ordering
- database systems