Faculty of mathematics and computer science adam mickiewicz university matejki 48/49 60-769 poznan, Poland game logic and its applications I

Mamoru Kaneko, Takashi Nagashima, Mamoru Kaneko, Takashi Nagashima

研究成果: Article査読

27 被引用数 (Scopus)

抄録

This paper provides a logic framework for investigations of game theoretical problems. We adopt an infinitary extension of classical predicate logic as the base logic of the framework. The reason for an infinitary extension is to express the common knowledge concept explicitly. Depending upon the choice of axioms on the knowledge operators, there is a hierarchy of logics. The limit case is an infinitary predicate extension of modal propositional logic KD4, and is of special interest in applications. In Part I, we develop the basic framework, and show some applications: an epistemic axiomatization of Nash equilibrium and formal undecidability on the playability of a game. To show the formal undecidability, we use a term existence theorem, which will be proved in Part II.

本文言語English
ページ(範囲)325-354
ページ数30
ジャーナルStudia Logica
57
2-3
出版ステータスPublished - 1996
外部発表はい

ASJC Scopus subject areas

  • 論理

フィンガープリント

「Faculty of mathematics and computer science adam mickiewicz university matejki 48/49 60-769 poznan, Poland game logic and its applications I」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル