Propositional Dynamic Logic of Looping and Converse Is Elementarily Decidable
Robert S. StreettPublished in: Inf. Control. (1982)
Keyphrases
- propositional dynamic logic
- reasoning about actions
- dynamic logic
- first order logic
- situation calculus
- arbitrarily complex
- transitive closure
- function symbols
- datalog programs
- logic programming
- decision trees
- artificial intelligence
- genetic algorithm
- propositional logic
- temporal logic
- hidden state
- high level
- polynomial hierarchy