We use quantifiers and selection functions to represent simultaneous move games. Quantifiers and selection functions are examples of higher-order functions. A higher order function is a function whose domain is itself a set of functions. Thus, quantifiers and selection func- tions allow players...

We use quantifiers and selection functions to generalize the classical economic approach to choice. Our framework encompasses preference and utility based approaches as special cases, but also extends to non-maximizing behavior and context-dependent motives such as social concerns. We adapt the...