Common knowledge logic and game logic

Journal of Symbolic Logic 64 (2):685-700 (1999)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

41 (#371,653)

6 months
17 (#134,829)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

About cut elimination for logics of common knowledge.Luca Alberucci & Gerhard Jäger - 2005 - Annals of Pure and Applied Logic 133 (1):73-99.
Strong Completeness Theorems for Weak Logics of Common Belief.Lismont Luc & Mongin Philippe - 2003 - Journal of Philosophical Logic 32 (2):115-137.

Add more citations

References found in this work

Game logic and its applications I.Mamoru Kaneko & Takashi Nagashima - 1996 - Studia Logica 57 (2-3):325 - 354.
Languages with Expressions of Infinite Length.William P. Hanf - 1964 - Journal of Symbolic Logic 33 (3):477-478.

Add more references