Tense, Temporal Reference, and Tense Logic.

Patrick Blackburn

Published in: J. Semant. (1994)

Keyphrases

temporal relations
temporal information
temporal ordering
temporal reasoning
linear temporal logic
spatial relations
spatio temporal
spatial and temporal
temporal databases
multi valued
temporal structure
database
artificial intelligence
logic programs
temporal evolution
set theory