We present a novel coalgebraic formulation of infinite extensive games. We define both the game trees and the strategy profiles by possibly infinite systems of corecursive equations. Certain strategy profiles are proved to be subgame perfect equilibria using a novel proof principle of predicate...

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...