Dynamic Logic has many application areas such as: program verification, general planning, modelling rational agents, etc. There are, however, limitation w.r.t. the modeling of rational agents. Bratman’s BDI model of human practical reasoning has been a popular approach for describing rational agents. Bratman describe his approach in terms of the refinement of abstract actions, but dynamic logic cannot describe the refinement of abstract actions. Nico Roos investigated how dynamic logic can be extended in order to handle the refinement of abstract actions.

Publications

N. Roos, Extending dynamic logic with refinements of abstract actions, Journal of Logic and Computation, 32-7 (2022) 1317–1351. [pdf]