Enhanced propositional dynamic logic for reasoning about concurrent actions (extended abstract (1995)

by Giuseppe De Giacomo, Maurizio Lenzerini
Venue:In Working notes of the AAAI 1995 Spring Symposium on Extending Theories of Action: Formal and Practical Applications