If you're interested in this then you should check out the fluent calculus which solves many of the problems of event/situation/etc calculus. In particular it h

If you're interested in this then you should check out the fluent calculus which solves many of the problems of event/situation/etc calculus. In particular it has a much more elegant solution for the frame problem by distinguishing states from situations. But it also has many interesting and useful extensions