Deterministic Context-Free Dynamic Logic is More Expressive than Deterministic Dynamic Logic of Regular Programs.
Pawel UrzyczynPublished in: FCT (1983)
Keyphrases
- dynamic logic
- context free
- modal logic
- imperative programs
- context sensitive
- grammatical inference
- agent programming
- reasoning about actions
- context dependent
- propositional dynamic logic
- first order logic
- pattern matching
- temporal logic
- artificial intelligence
- inductive inference
- modal operators
- context free grammars
- data model
- metadata