The paper discusses how dynamic logic (in terms of Pratt and Harel) can be used as a basis for logics for reasoning about actions and agents, for some of which the author provides an overview. After a brief introduction to PDL, the paper discusses Dynamic Update Logic [P. Spruit, R. Wieringa and J.-J. Meyer, J. Log. Comput. 5, 27-70 (1995; Zbl 0988.68551)], used for reasoning about database updates, Descriptive Dynamic Logic [C. Sierra et al., Future Generations Computer Systems 12, 157-171 (1996)], Dynamic Deontic Logic [J.-J. Ch. Meyer, Notre Dame J. Formal Logic 29, No. 1, 109-136 (1988; Zbl 0695.03009)], commonsense actions reasoning, with a discussion on the frame problem, logics for single intelligent agents and multi-agent systems [J.-J. Ch. Meyer and W. van der Hoek, Epistemic logic for AI and computer science. Cambridge: Cambridge Univ. Press (1995; Zbl 0868.03001)]. In a concluding discussion the author compares the dynamic logic and the temporal logic frameworks for reasoning about actions. The paper contains no formal results.
For the entire collection see [Zbl 0960.00037].