Title: Temporal reasoning in the situation calculus