Reasoning about unpredicted change and explicit time