Keyphrases
- classical logic
- logic programming
- formal language
- modal logic
- context free grammars
- databases
- digital circuits
- natural language
- natural language parsing
- automated reasoning
- proof theory
- set theory
- computational properties
- tree grammars
- epistemic logic
- formal theory
- predicate logic
- context free
- multi valued
- production rules
- artificial intelligence