Login / Signup
An existential fragment of second order logic.
Eric Rosen
Published in:
Arch. Math. Log. (1999)
Keyphrases
</>
modal logic
higher order
predicate logic
automata theoretic
logic programming
proof theory
computational properties
machine learning
query answering
databases
classical logic
defeasible logic
logical framework
formal theory
hessian matrix
delay insensitive
directional derivatives
logical equivalence