Styles of Temporal Representations
Timeless Quantification
- Functions and relations have a time argument
E.g., (Married Joe Anne 1993)
- Situation calculus
- Objects have time intervals associated with them
E.g., (contains (time-of (Marriage Joe Anne)) 1993)
Sentences “hold true” at times
E.g., (holds (Married Joe Anne) 1993)
Tense logics
E.g., (F (Married Joe Anne))
(F (and (not (Married Joe Anne)) (P (Married Joe Anne)