Dynamic logic for reasoning about actions and agents

Dynamic logic is a logic to reason about the dynamics of (natural or artificial) systems in general, ranging from the effects of actions of human agents to the behaviour of artificial agents and software systems. Therefore it is to be expected that in AI it can be fruitfully employed both to represent knowledge about the dynamics of the domain at hand as well as to describe / specify (the dynamic behaviour of) AI systems themselves. A typical example of the former is the description of the effects of actions (of humans, for example) in the commonsense world, while the specification of a particular reasoning system would be of the latter type. In this paper a number of examples are given to illustrate the usefulness (and wide scope!) of dynamic logic for AI