Situation Calculus

Reasoning about action & change

Specification, reasoning, and verification of dynamic systems.