A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
PDL-based framework for reasoning about actions
[chapter]
1995
Lecture Notes in Computer Science
Propositional Dynamic Logics (PDL's) provide a suitable formal framework for modeling actions and reasoning about them. However, the basic language of PDL's lack several features that are important for a sophisticated treatment of actions. In this paper, we present a new logic that is obtained by enriching the basic PDL with powerful modeling constructs that allow us to represent determinism and nondeterminisms, concurrency, hierarchies, mutual exclusion, backward execution, and non-execution
doi:10.1007/3-540-60437-5_10
fatcat:twki64offfcwnghkpepwd5tqvi