Enhanced Propositional Dynamic Logic for Reasoning about Concurrent Actions (Extended Abstract)

Extending Theories of Action: Formal Theory and Practical Applications

Volume

Papers from the 1995 AAAI Spring Symposium

Contents

This paper presents a work in progress on enhanced Propositional Dynamic Logics for reasoning about actions. Propositional Dynamic Logics (PDL’s) are modal logics for describing and reasoning about system dynamics in terms of properties of states and actions modeled as relations between states.