Non-definability of Languages by Generalized First-order Formulas over (N, +).
Andreas KrebsA. V. SreejithPublished in: LICS (2012)
Keyphrases
- first order logic
- horn clauses
- expressive power
- finite model theory
- predicate calculus
- fixed point
- higher order
- language independent
- propositional logic
- databases
- quantifier free
- action theories
- cross lingual
- context free
- real numbers
- grammatical inference
- database theory
- programming language
- relational calculus
- quantifier elimination
- situation calculus
- integrity constraints