Definability Hierarchies of Generalized Quantifiers.

Published in: Ann. Pure Appl. Log. (1989)

Keyphrases

first order logic
fixed point
propositional logic
database
data sets
neural network
machine learning
information systems
video sequences
preprocessing
lower bound
special case
data warehouse
expressive power