``Backward coinduction, Nash equilibrium and the rationality of escalation
From MaRDI portal
Publication:715039
DOI10.1007/s00236-012-0153-3zbMath1262.91039MaRDI 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
91B26: Auctions, bargaining, bidding and selling, and other market models
91A26: Rationality and learning in game theory
91A20: Multistage and repeated games
Related Items
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting, Multigames and strategies, coalgebraically, Morphisms of open games, Unnamed Item, Unnamed Item
Uses Software
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