Temporal Logic of Actions
The temporal logic of actions is a particular logical system that combines aspects of Temporal Logic with Dynamic Logic.
The temporal logic of actions is a particular logical system that combines aspects of Temporal Logic with Dynamic Logic.