PDL-based framework for reasoning about actions
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 103-114
- https://doi.org/10.1007/3-540-60437-5_10
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- On the Complexity of Conditional LogicsPublished by Elsevier ,1994
- Description Logics with inverse roles, functional restrictions, and n-ary relationsPublished by Springer Nature ,1994
- A modal perspective on the computational complexity of attribute value grammarJournal of Logic, Language and Information, 1993
- A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence, 1992
- Intention is choice with commitmentArtificial Intelligence, 1990
- The Case for Domain-Specific Frame AxiomsPublished by Elsevier ,1987
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Dynamic LogicPublished by Springer Nature ,1984
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979