  This idea, which Shanahan calls “State-Based Minimization,” is developed and extended in  Shanahan 1997, in the context of a temporal logic deriving from the Event Calculus of Kowalski and Sergot; see  Kowalski &amp; Sergot 1986.  Shanahan’s formalism has the advantage of being closely connected to implementations using logic programming.