Reasoning about types of action and agent capabilities

  title={Reasoning about types of action and agent capabilities},
  author={Chrysafis Hartonas},
  journal={Logic Journal of the IGPL},
We present a logical system for reasoning about types of actions (processes) and about agent capabilities to execute types of actions. The syntax of the system is based on that of Propositional Dynamic Logic (PDL), though the semantics we define is different (interpreting process terms as types, i.e. sets of binary relations). The standard PDL syntax is extended with capabilities statements, as in the KARO framework, atomic process types specified as precondition-effect pairs, written as… CONTINUE READING