Common knowledge logic and game logic

Research output: Contribution to journalArticle

9 Citations (Scopus)

Abstract

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
Volume64
Issue number2
Publication statusPublished - 1999 Jun
Externally publishedYes

Fingerprint

Common Knowledge
Faithful
Game
Logic
Cut-elimination
Sequent Calculus
Embedding Theorem
Nash Equilibrium
Fragment
Formulation
Style
Strategy
Gentzen
Conservative Extension

Keywords

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

ASJC Scopus subject areas

  • Logic

Cite this

Common knowledge logic and game logic. / Kaneko, Mamoru.

In: Journal of Symbolic Logic, Vol. 64, No. 2, 06.1999, p. 685-700.

Research output: Contribution to journalArticle

@article{7f54f46e196a4a0ea8155f496cad6c43,
title = "Common knowledge logic and game logic",
abstract = "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.",
keywords = "Common Knowledge Logic, Fixed-Point and Iterative Definitions of Common Knowledge, Game Logic, Nash Equilibrium",
author = "Mamoru Kaneko",
year = "1999",
month = "6",
language = "English",
volume = "64",
pages = "685--700",
journal = "Journal of Symbolic Logic",
issn = "0022-4812",
publisher = "Association for Symbolic Logic",
number = "2",

}

TY - JOUR

T1 - Common knowledge logic and game logic

AU - Kaneko, Mamoru

PY - 1999/6

Y1 - 1999/6

N2 - 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.

AB - 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.

KW - Common Knowledge Logic

KW - Fixed-Point and Iterative Definitions of Common Knowledge

KW - Game Logic

KW - Nash Equilibrium

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

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

M3 - Article

AN - SCOPUS:0033464198

VL - 64

SP - 685

EP - 700

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

SN - 0022-4812

IS - 2

ER -