Extensions of the formalism and problems they present

 

The basic situation calculus admits many useful extensions. The ideas of this section are tentative.

• Concurrency
• Events whose occurrence depends on the past
• ``Branching time'' and ``linear time''
• Induction in the situation calculus
• Formalizing Oscillations
• State constraints after all
• Javier Pinto's formalism