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 consider two-player turn-based game arenas for which we investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not μ-calculus definable. Typically, we can represent constraints on allowed...

We consider a game-theoretic model of counterproliferation, in which a single Incumbent (holding nuclear weapons) is faced with a sequence of potential Entrants (who are considering developing and deploying a nuclear capability or other weapons of mass destruction of their own). The Incumbent...

Carbon leakage and competitiveness concerns are some of the main reasons why an international environmental agreement is lacking to fight climate change. Many studies discussed the adoption of a border tax adjustment (BTA) to allow countries that would like to implement a carbon tax to level the...

In response to Wooders (2001), I review the contributions of Engl and Scotchmer (1996) regarding monotonicity and the hedonic core, show how our contributions diverge from those previously in the literature, and highlight the importance of our assumptions by giving counterexamples, particularly...

We will call a game a reachable (pure strategy) equilibria game if starting from any strategy by any player, by a sequence of best-response moves we are able to reach a (pure strategy) equilibrium. We give a characterization of all finite strategy space duopolies with reachable equilibria. We...

In response to Wooders (2001), I review the contributions of Engl and Scotchmer (1996) regarding monotonicity and the hedonic core, show how our contributions diverge from those previously in the literature, and highlight the importance of our assumptions by giving counterexamples, particularly...

A manufacturer and a retailer are the members of a simple distribution channel for a particular product in a segmented market. The advertising efforts of the two agents have a joint effect on the goodwill of the different market segments and then on the demand. The channel members aim at...

This paper considers a large population, game theoretic job-search problem, in which the ratio of job searchers to jobs is α. There are n distinct types of jobs, each with an associated value. Each searcher can only accept one job and cannot recall a job previously rejected. Once a searcher...

In this paper, we try to analyze the interactions among the shippers and the carriers, including the rail and marine shipping industry, in the bulk shipping market. Our paper presents both a two-player game model, and a two-stage, three-player, game model that includes the buyer as an active...