Characterizing Definability of Second-Order Generalized Quantifiers.

Juha Kontinen Jakub Szymanik

Published in: WoLLIC (2011)

Keyphrases

higher order
fixed point
propositional logic
first order logic
expressive power
database
databases
neural network
real world
decision making
multiresolution
mobile robot