A constructive approach to sequential Nash equilibria

Information Processing Letters

Volumn 97, Issue 2, 2006, Pages 46-51

  Vestergaard, René ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

Automatic theorem proving; Constructivity; Nash equilibria

Indexed keywords

COMPUTATIONAL METHODS; THEOREM PROVING;

AUTOMATIC THEOREM PROVING; CONSTRUCTIVITY; NASH EQUILIBRIA;

GAME THEORY;

EID: 28144435349     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2005.09.010     Document Type: Article

References (15)

1. P. Aczel An introduction to inductive definitions J. Barwise Studies in Logic and the Foundations of Mathematics Handbook of Mathematical Logic vol. 90 1977 North-Holland Amsterdam 739 782 (Ch. C.7)
2. R.J. Aumann S. Hart Handbook of Game Theory with Economic Applications vols. 1-3 1992 1994 2002 North-Holland Amsterdam
3. G. Dowek, and C. Paulin-Mohring Coq http://coq.inria.fr/
4. S. Hart Games in extensive and strategic form R. Aumann S. Hart Handbook of Game Theory with Economic Applications vol. 1 1992 1992 North-Holland Amsterdam (Ch. 2)
5. H.W. Kuhn Extensive games and the problem of information Contributions to the Theory of Games, II 1953 Princeton Univ. Press Princeton, NJ Reprinted in [6]
6. H.W. Kuhn Classics in Game Theory 1997 Princeton Univ. Press Princeton, NJ
7. E. Mendelson Introducing Game Theory and its Applications 2004 CRC Boca Raton, FL
8. J.F. Nash Equilibrium points in n-person games Proc. Nat. Acad. Sci. USA 36 1950 Reprinted in [6]
9. J.F. Nash, Non-cooperative games, PhD thesis, Princeton University, 1950
10. J.F. Nash Non-cooperative games Ann. of Math. 54 1951 Reprinted in [6]
11. J. Von Neumann, and O. Morgenstern Theory of Games and Economic Behavior 1944 Princeton University Press Princeton, NJ
12. The Royal Swedish Academy of Sciences, Citation for the 1994 Nobel prize in economics to J.C. Harsanyi, J.F. Nash, and R. Selten http://nobelprize.org/ economics/laureates/1994/presentation-speech.html
13. R. Selten Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit Z. Staatswissenschaft 121 1965
14. R. Selten Reexamination of the perfectness concept for equilibrium points in extensive games Internat. J. Game Theory 4 1975 Reprinted in [6]
15. E. Zermelo Über eine Anwendung der Mengenlehre auf die Theorie des Schachspiels Proc. 5th Internat. Congress of Mathematicians vol. II 1912 Cambridge Univ. Press Cambridge