This line of research focuses on extending (propositional) dynamic logic to accommodate different forms of planning. For instance, Bratman argued the humans planning consists of step by step refining abstract actions; the BDI model. We can formally describe this in dynamic logic after extending it with a refinement relation over actions.

Publications

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