Situation calculus is a logic formalism that was designed for the purpose of representing and reasoning about dynamical domains.