Keyphrases
- first order logic
- monadic second order logic
- expressive power
- programming language
- higher order
- classical first order logic
- predicate calculus
- tree structure
- binary tree
- conditional logic
- regular expressions
- dynamic logic
- quantifier free
- b tree
- language learning
- model theoretic
- tree construction
- natural language
- function free horn
- database
- xml query languages
- tree models
- context dependent
- answer sets
- relational algebra
- logic programming