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

DOI10.1007/S00236-012-0153-3MaRDI QIDQ715039zbMATHOpenAlexFDO

Authors Pierre Lescanne, Matthieu Perrinel

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) Multistage and repeated games (91A20) Rationality and learning in game theory (91A26)

Recommendations

• A simple case of rationality of escalation
• Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
• The logic of backward induction
• Keep `hoping' for rationality: a solution to the backward induction paradox
• scientific article; zbMATH DE number 1859184

Cites work

• scientific article; zbMATH DE number 5543872 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• A constructive approach to sequential Nash equilibria
• A course in game theory.
• Affine functions and series with co-inductive real numbers
• An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions
• Backward induction and common knowledge of rationality
• Belief revision in games: Forward and backward induction
• CIRC: A Behavioral Verification Tool Based on Circular Coinduction
• Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
• Certifying circuits in type theory
• Computability and λ-definability
• Formal proof -- theory and practice
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Market News in Commodity Price Theory: Application to the Ethiopian Grain Market
• Measure, topology, and fractal geometry
• Origins of bisimulation and coinduction
• Proving equality of streams automatically
• Substantive rationality and backward induction
• The determinacy of Blackwell games
• Typed Lambda Calculi and Applications

Cited in

(6)

• An existence theorem of Nash equilibrium in Coq and Isabelle
• Multigames and strategies, coalgebraically
• Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
• Morphisms of open games
• scientific article; zbMATH DE number 7447766 (Why is no real title available?)
• A simple case of rationality of escalation

Describes a project that uses

Uses Software

• Coq
• CIRC

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q715039)