Directions in generalized quantifier theory.

Johan van Benthem Dag Westerståhl

Published in: Stud Logica (1995)

Keyphrases

computational model
theoretical basis
set valued
databases
learning algorithm
image segmentation
objective function
theoretical foundation
general theory
formal theory