Definability of second order generalized quantifiers.

Published in: Arch. Math. Log. (2010)

Keyphrases

higher order
first order logic
propositional logic
fixed point
artificial intelligence
fourth order
databases
neural network
np complete