Extending dynamic logic with refinements of abstract actions

N. Roos*

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review


Humans can make a plan by refining abstract actions. Dynamic logic, which enables reasoning about the dynamics of actions, does not support this form of planning. This paper investigates the extension of dynamic logic with a refinement relation that specifies how an abstract action can be refined into a more specific (composite) action. The paper investigates the properties of the refinement relation, the derivation of the refinement relation and a proof system based on a prefixed-tableau.
Original languageEnglish
Pages (from-to)1317-1351
Number of pages35
JournalJournal of Logic and Computation
Issue number7
Early online date21 Feb 2022
Publication statusPublished - 20 Oct 2022




Dive into the research topics of 'Extending dynamic logic with refinements of abstract actions'. Together they form a unique fingerprint.

Cite this