ACTIONS AND OTHER EVENTS
Extensions of the formalism and problems they present
The basic situation calculus admits many useful extensions. The ideas of this section are tentative.
Events whose occurrence depends on the past
``Branching time'' and ``linear time''
Induction in the situation calculus
State constraints after all
Javier Pinto's formalism
Fri Feb 8 17:29:20 PST 2002