Common knowledge logic and game logic

Mamoru Kaneko*

*この研究の対応する著者

研究成果: Article査読

10 被引用数 (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.

本文言語English
ページ(範囲)685-700
ページ数16
ジャーナルJournal of Symbolic Logic
64
2
出版ステータスPublished - 1999 6
外部発表はい

ASJC Scopus subject areas

  • 論理

フィンガープリント

「Common knowledge logic and game logic」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル