Extending dynamic logic with refinements of abstract actions

N. Roos*

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

Abstract

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
Volume32
Issue number7
Early online date21 Feb 2022
DOIs
Publication statusPublished - 2022

Keywords

  • COMPLEXITY
  • TABLEAUX

Cite this