A Mechanism for Reasoning about Time and Belief