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

DOI10.1007/S00236-012-0153-3zbMATH Open1262.91039OpenAlexW2062600857MaRDI QIDQ715039FDOQ715039

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

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

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)

Cites Work

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

Cited In (6)

• Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
• Morphisms of open games
• Multigames and strategies, coalgebraically
• A simple case of rationality of escalation
• Title not available (Why is that?)
• An existence theorem of Nash equilibrium in Coq and Isabelle

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)