Chronological ignorance: Time, nonmonotonicity, necessity and causal theories
Yoav Shoham · 1986
Abstract. Concerned with the problem of reason-ing efficiently about change within a formal system, we identify the initiution problem. The solution to it which we offer, called the logic of chronological igno-rance, combines temporal logic, nor-monotonic logic, and the modal logic of necessity. We identify a class of theories, called causal theories, which have elegant model-theoretic and complexity properties in the new logic.