Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Deconstruction of Infinite Extensive Games using coinduction

Abstract : Finite objects and more specifically finite games are formalized using induction, whereas infinite objects are formalized using coinduction. In this article, after an introduction to the concept of coinduction, we revisit on infinite (discrete) extensive games the basic notions of game theory. Among others, we introduce a definition of Nash equilibrium and a notion of subgame perfect equilibrium for infinite games. We use those concepts to analyze well known infinite games, like the dollar auction game and the centipede game and we show that human behaviors that are often considered as illogic are perfectly rational, if one admits that human agents reason coinductively.
Complete list of metadata

Cited literature [44 references]  Display  Hide  Download
Contributor : Pierre Lescanne Connect in order to contact the contributor
Submitted on : Tuesday, April 28, 2009 - 3:13:42 PM
Last modification on : Thursday, September 29, 2022 - 2:58:07 PM
Long-term archiving on: : Wednesday, September 22, 2010 - 12:56:04 PM


Files produced by the author(s)


  • HAL Id : ensl-00376141, version 2
  • ARXIV : 0904.3528



Pierre Lescanne. Deconstruction of Infinite Extensive Games using coinduction. 2009. ⟨ensl-00376141v2⟩



Record views


Files downloads