Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free Dynamic Logic
Alexei P. StolboushkinPublished in: Inf. Control. (1983)
Keyphrases
- state space
- dynamic logic
- context free
- context dependent
- context sensitive
- grammatical inference
- reasoning about actions
- finite state
- modal logic
- imperative programs
- context free grammars
- inductive inference
- dynamic programming
- propositional dynamic logic
- general purpose
- parse tree
- first order logic
- tree languages
- logic programming
- information extraction
- low level
- modal operators
- artificial intelligence
- machine learning