Non-monotonic temporal reasoning