Common Knowledge Logic and Game Logic
Kaneko, Mamoru
J. Symbolic Logic, Tome 64 (1999) no. 1, p. 685-700 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We show the faithful embedding of common knowledge logic CKL into game logic GL, that is, CKL is embedded into GL and GL is a conservative extension of the fragment obtained by this embedding. Then many results in GL are available in CKL, and vice versa. For example, an epistemic consideration of Nash equilibrium for a game with pure strategies in GL is carried over to CKL. Another important application is to obtain a Gentzen-style sequent calculus formulation of CKL and its cut-elimination. The faithful embedding theorem is proved for the KD4-type propositional CKL and GL, but it holds for some variants of them.
Publié le : 1999-06-14
Classification:  Game Logic,  Common Knowledge Logic,  Fixed-Point and Iterative Definitions of Common Knowledge,  Nash Equilibrium 
@article{1183745802,
     author = {Kaneko, Mamoru},
     title = {Common Knowledge Logic and Game Logic},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 685-700},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745802}
}

Kaneko, Mamoru. Common Knowledge Logic and Game Logic. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  685-700. http://gdmltest.u-ga.fr/item/1183745802/