There Exit Decidable Context Free Propositional Dynamic Logics.

Tmima Koren Amir Pnueli

Published in: Logic of Programs (1983)

Keyphrases

context free
context sensitive
first order logic
grammatical inference
context dependent
context free grammars
expert systems
expressive power
propositional logic
inductive inference
attribute grammars
knowledge representation
co occurrence
graph grammars