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
Number of pages35
JournalJournal of Logic and Computation
DOIs
Publication statusE-pub ahead of print - 21 Feb 2022

Keywords

  • COMPLEXITY
  • TABLEAUX

Cite this