Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities

Mamoru Kaneko, Takashi Nagashima

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

This paper attempts to explain the Nash equilibrium concept from the viewpoint of its one-shot play interpretation. We consider a final decision to be made by each player before the game is actually played. We formalize this game situation in terms of an infinitary first-order predicate logic. Then we give an axiom for final decisions-in the two-person case, the central requirement for this axiom is: for players i and j, if x is a possible final decision for player i, then (1) player i knows that x is his final decision; (2) there is a final decision y for player j; and (3) for any final decision y for j, x is a best response to y and player i knows that y is j's final decision. The entire axiom takes the form of the common knowledge of the above requirement by its very nature. We assume that the complete logical abilities of the players are common knowledge. Then we prove that for solvable games in Nash's sense, x is a final decision for player i iff it is common knowledge that x is a Nash strategy. A similar result will be obtained for unsolvable games.

Original languageEnglish
Pages (from-to)229-255
Number of pages27
JournalMathematical Social Sciences
Volume22
Issue number3
DOIs
Publication statusPublished - 1991
Externally publishedYes

Fingerprint

common knowledge
Common Knowledge
Nash Equilibrium
Solvability
Game
ability
Axiom
Predicate Logic
Nash equilibrium
Logic
Common knowledge
Requirements
First-order Logic
logic
Person
Entire
interpretation
human being

Keywords

  • Final decisions
  • game logic
  • Nash equilibrium
  • solvability
  • subsolution

ASJC Scopus subject areas

  • Statistics, Probability and Uncertainty
  • Economics and Econometrics

Cite this

Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities. / Kaneko, Mamoru; Nagashima, Takashi.

In: Mathematical Social Sciences, Vol. 22, No. 3, 1991, p. 229-255.

Research output: Contribution to journalArticle

@article{3980865a7c4a44f795d51e71c3c8d38f,
title = "Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities",
abstract = "This paper attempts to explain the Nash equilibrium concept from the viewpoint of its one-shot play interpretation. We consider a final decision to be made by each player before the game is actually played. We formalize this game situation in terms of an infinitary first-order predicate logic. Then we give an axiom for final decisions-in the two-person case, the central requirement for this axiom is: for players i and j, if x is a possible final decision for player i, then (1) player i knows that x is his final decision; (2) there is a final decision y for player j; and (3) for any final decision y for j, x is a best response to y and player i knows that y is j's final decision. The entire axiom takes the form of the common knowledge of the above requirement by its very nature. We assume that the complete logical abilities of the players are common knowledge. Then we prove that for solvable games in Nash's sense, x is a final decision for player i iff it is common knowledge that x is a Nash strategy. A similar result will be obtained for unsolvable games.",
keywords = "Final decisions, game logic, Nash equilibrium, solvability, subsolution",
author = "Mamoru Kaneko and Takashi Nagashima",
year = "1991",
doi = "10.1016/0165-4896(91)90024-L",
language = "English",
volume = "22",
pages = "229--255",
journal = "Mathematical Social Sciences",
issn = "0165-4896",
publisher = "Elsevier",
number = "3",

}

TY - JOUR

T1 - Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities

AU - Kaneko, Mamoru

AU - Nagashima, Takashi

PY - 1991

Y1 - 1991

N2 - This paper attempts to explain the Nash equilibrium concept from the viewpoint of its one-shot play interpretation. We consider a final decision to be made by each player before the game is actually played. We formalize this game situation in terms of an infinitary first-order predicate logic. Then we give an axiom for final decisions-in the two-person case, the central requirement for this axiom is: for players i and j, if x is a possible final decision for player i, then (1) player i knows that x is his final decision; (2) there is a final decision y for player j; and (3) for any final decision y for j, x is a best response to y and player i knows that y is j's final decision. The entire axiom takes the form of the common knowledge of the above requirement by its very nature. We assume that the complete logical abilities of the players are common knowledge. Then we prove that for solvable games in Nash's sense, x is a final decision for player i iff it is common knowledge that x is a Nash strategy. A similar result will be obtained for unsolvable games.

AB - This paper attempts to explain the Nash equilibrium concept from the viewpoint of its one-shot play interpretation. We consider a final decision to be made by each player before the game is actually played. We formalize this game situation in terms of an infinitary first-order predicate logic. Then we give an axiom for final decisions-in the two-person case, the central requirement for this axiom is: for players i and j, if x is a possible final decision for player i, then (1) player i knows that x is his final decision; (2) there is a final decision y for player j; and (3) for any final decision y for j, x is a best response to y and player i knows that y is j's final decision. The entire axiom takes the form of the common knowledge of the above requirement by its very nature. We assume that the complete logical abilities of the players are common knowledge. Then we prove that for solvable games in Nash's sense, x is a final decision for player i iff it is common knowledge that x is a Nash strategy. A similar result will be obtained for unsolvable games.

KW - Final decisions

KW - game logic

KW - Nash equilibrium

KW - solvability

KW - subsolution

UR - http://www.scopus.com/inward/record.url?scp=38149145818&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=38149145818&partnerID=8YFLogxK

U2 - 10.1016/0165-4896(91)90024-L

DO - 10.1016/0165-4896(91)90024-L

M3 - Article

AN - SCOPUS:38149145818

VL - 22

SP - 229

EP - 255

JO - Mathematical Social Sciences

JF - Mathematical Social Sciences

SN - 0165-4896

IS - 3

ER -