The Logic of Recursive Equations.
Antonius J. C. HurkensMonica McArthurYiannis N. MoschovakisLawrence S. MossGlen T. WhitneyPublished in: J. Symb. Log. (1998)
Keyphrases
- multi valued
- recursive programs
- logic programming
- classical logic
- nonlinear equations
- linear equations
- logical framework
- mathematical model
- modal logic
- computational properties
- logic programs
- epistemic logic
- recursive algorithm
- predicate logic
- square root
- linear systems
- differential equations
- database
- datalog programs
- nonmonotonic logics
- numerical solution
- dynamical systems
- recursive functions
- sound and complete axiomatization