``Backward coinduction, Nash equilibrium and the rationality of escalation

DOI10.1007/s00236-012-0153-3zbMath1262.91039OpenAlexW2062600857MaRDI QIDQ715039

Matthieu Perrinel, Pierre Lescanne

Publication date: 15 October 2012

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-012-0153-3

Mathematics Subject Classification ID

Auctions, bargaining, bidding and selling, and other market models (91B26) Rationality and learning in game theory (91A26) Multistage and repeated games (91A20)

Related Items (5)

Morphisms of open games ⋮ Multigames and strategies, coalgebraically ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting

Uses Software

• Coq
• CIRC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Substantive rationality and backward induction
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• A constructive approach to sequential Nash equilibria
• Belief revision in games: Forward and backward induction
• Certifying circuits in type theory
• Backward induction and common knowledge of rationality
• CIRC: A Behavioral Verification Tool Based on Circular Coinduction
• Affine functions and series with co-inductive real numbers
• The determinacy of Blackwell games
• Market News in Commodity Price Theory: Application to the Ethiopian Grain Market
• An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions
• Proving equality of streams automatically
• Origins of bisimulation and coinduction
• Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
• Typed Lambda Calculi and Applications
• Computability and λ-definability

This page was built for publication: ``Backward coinduction, Nash equilibrium and the rationality of escalation