Undecidability of the First-Order Arithmetic A[P(x), 2x, x+1].
Hiroakira OnoAkira NakamuraPublished in: J. Comput. Syst. Sci. (1979)
Keyphrases
- quantifier free
- first order logic
- higher order
- description logics
- quantifier elimination
- stochastic dominance
- artificial intelligence
- arithmetic operations
- probabilistic planning
- rewrite systems
- knowledge representation
- floating point
- term rewriting
- answering queries
- horn clauses
- linear temporal logic
- databases
- reinforcement learning
- information systems
- neural network