A Compositional Treatment of Iterated Open Games

Compositional Game Theory is a new, recently introduced model of economic games based upon the computer science idea of compositionality. In it, complex and irregular games can be built up from smaller and simpler games, and the equilibria of these complex games can be defined recursively from the equilibria of their simpler subgames. This paper extends the model by providing a final coalgebra semantics for infinite games. In the course of this, we introduce a new operator on games to model the economic concept of subgame perfection.

[1]  Reinhard Selten.  Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit , 2016 .

[2]  Alastair Smith,et al.  Trust and Cooperation Through Agent-specific Punishments , 2000, International Organization.

[3]  Thomas Powell,et al.  A constructive interpretation of Ramsey's theorem via the product of selection functions , 2015, Math. Struct. Comput. Sci..

[4]  Eric van Damme,et al.  Non-Cooperative Games , 2000 .

[5]  Jan J. M. M. Rutten,et al.  Automata and Coinduction (An Exercise in Coalgebra) , 1998, CONCUR.

[6]  L. Lambertini.  Game Theory in the Social Sciences , 2011 .

[7]  Jan J. M. M. Rutten,et al.  Initial Algebra and Final Coalgebra Semantics for Concurrency , 1993, REX School/Symposium.

[8]  Pierre Lescanne,et al.  Rationality and Escalation in Infinite Extensive Games , 2011, ArXiv.

[9]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[10]  Neil Ghani,et al.  Compositional Game Theory , 2016, LICS.

[11]  Ki Hang Kim.  Game theory in the social sciences , 1986 .

[12]  G. Mailath,et al.  Repeated Games and Reputations: Long-Run Relationships , 2006 .

[13]  Samson Abramsky,et al.  Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games without Discounting , 2017, Math. Struct. Comput. Sci..

[14]  Neil Ghani,et al.  A compositional approach to economic game theory , 2016, ArXiv.

[15]  R. Axelrod,et al.  The Further Evolution of Cooperation , 1988, Science.