A constructive approach to sequential Nash equilibria

DOI10.1016/J.IPL.2005.09.010zbMATH Open1179.91025OpenAlexW2167653210MaRDI QIDQ1045892FDOQ1045892

Authors: René Vestergaard 

Publication date: 18 December 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2005.09.010

Recommendations

• A Refinement of Sequential Equilibrium
• A continuation method for Nash equilibria in structured games
• Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence
• Sequential Stackelberg equilibria in two-person games
• Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions
• Computation of Stackelberg equilibria of finite sequential games
• Sequential Equilibria
• Non-determinism and Nash equilibria for sequential game over partial order
• Equilibria in sequential bargaining games as solutions to systems of equations
• scientific article; zbMATH DE number 7726316

zbMATH Keywords

Nash equilibriaautomatic theorem provingconstructivity

Mathematics Subject Classification ID

Noncooperative games (91A10) Multistage and repeated games (91A20) Computational methods for problems pertaining to game theory, economics, and finance (91-08)

Cites Work

• Title not available (Why is that?)
• Handbook of game theory with economic applications. Vol. 3
• Non-cooperative games
• Equilibrium points in n -person games
• Reexamination of the perfectness concept for equilibrium points in extensive games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL
• On the use (and abuse) of logic in game theory
• Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence
• ``Backward coinduction, Nash equilibrium and the rationality of escalation
• Recycling proof patterns in Coq: case studies
• A Refinement of Sequential Equilibrium
• Non-determinism and Nash equilibria for sequential game over partial order

Uses Software

• Coq

This page was built for publication: A constructive approach to sequential Nash equilibria

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