Common knowledge logic and game logic

Mamoru Kaneko*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

10 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)685-700
Number of pages16
JournalJournal of Symbolic Logic
Issue number2
Publication statusPublished - 1999 Jun
Externally publishedYes


  • Common Knowledge Logic
  • Fixed-Point and Iterative Definitions of Common Knowledge
  • Game Logic
  • Nash Equilibrium

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Common knowledge logic and game logic'. Together they form a unique fingerprint.

Cite this