The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.
Flavio FerrarottiSenén GonzálezKlaus-Dieter ScheweJosé Maria Turull TorresPublished in: CoRR (2018)
Keyphrases
- higher order
- relative error
- classical logic
- logic programming
- modal logic
- high order
- logical framework
- database
- data structure
- hierarchical structure
- multi valued
- abductive reasoning
- directional derivatives
- hierarchically organized
- hessian matrix
- epistemic logic
- formal theory
- nonmonotonic logics
- automated reasoning
- lower level
- description logics
- image sequences