Situation calculus is a logic formalism for representing and reasoning about dynamic domains. It models how actions change states of the world and is used in AI planning, knowledge representation, and reasoning about events.
A logic formalism designed for representing and reasoning about dynamical domains.