Epistemic models of shallow depths and decision making in games: Horticulture

Mamoru Kaneko, Nobu Yuki Suzuki

研究成果: Article

8 引用 (Scopus)

抄録

Kaneko-Suzuki developed epistemic logics of shallow depths with multiple players for investigations of game theoretical problems. By shallow depth, we mean that nested occurrences of belief operators of players in formulae are restricted, typically to be of finite depths, by a given epistemic structure. In this paper, we develop various methods of surgical operations (cut and paste) of epistemic world models. An example is a bouquet-making, i.e., tying several models into a bouquet. Another example is to engraft a model to some branches of another model. By these methods, we obtain various meta-theorems on semantics and syntax on epistemic logics. To illustrate possible uses of our meta-theorems, we present one game theoretical theorem, which is also a meta-theorem in the sense of logic.

元の言語English
ページ(範囲)163-186
ページ数24
ジャーナルJournal of Symbolic Logic
68
発行部数1
出版物ステータスPublished - 2003 3
外部発表Yes

Fingerprint

Decision Making
Game
Epistemic Logic
Theorem
Model
Branch
Logic
Horticulture
Operator
Players

ASJC Scopus subject areas

  • Logic

これを引用

Epistemic models of shallow depths and decision making in games : Horticulture. / Kaneko, Mamoru; Suzuki, Nobu Yuki.

:: Journal of Symbolic Logic, 巻 68, 番号 1, 03.2003, p. 163-186.

研究成果: Article

@article{3aa8b09bd981443dbc3ca37fbc6c19ed,
title = "Epistemic models of shallow depths and decision making in games: Horticulture",
abstract = "Kaneko-Suzuki developed epistemic logics of shallow depths with multiple players for investigations of game theoretical problems. By shallow depth, we mean that nested occurrences of belief operators of players in formulae are restricted, typically to be of finite depths, by a given epistemic structure. In this paper, we develop various methods of surgical operations (cut and paste) of epistemic world models. An example is a bouquet-making, i.e., tying several models into a bouquet. Another example is to engraft a model to some branches of another model. By these methods, we obtain various meta-theorems on semantics and syntax on epistemic logics. To illustrate possible uses of our meta-theorems, we present one game theoretical theorem, which is also a meta-theorem in the sense of logic.",
keywords = "Bouquet Making, Cane Extension, Decision Making in Games, Depth Lemma, Engrafting, Epistemic Reduction, Epistemic Separation, Epistemic Structure",
author = "Mamoru Kaneko and Suzuki, {Nobu Yuki}",
year = "2003",
month = "3",
language = "English",
volume = "68",
pages = "163--186",
journal = "Journal of Symbolic Logic",
issn = "0022-4812",
publisher = "Association for Symbolic Logic",
number = "1",

}

TY - JOUR

T1 - Epistemic models of shallow depths and decision making in games

T2 - Horticulture

AU - Kaneko, Mamoru

AU - Suzuki, Nobu Yuki

PY - 2003/3

Y1 - 2003/3

N2 - Kaneko-Suzuki developed epistemic logics of shallow depths with multiple players for investigations of game theoretical problems. By shallow depth, we mean that nested occurrences of belief operators of players in formulae are restricted, typically to be of finite depths, by a given epistemic structure. In this paper, we develop various methods of surgical operations (cut and paste) of epistemic world models. An example is a bouquet-making, i.e., tying several models into a bouquet. Another example is to engraft a model to some branches of another model. By these methods, we obtain various meta-theorems on semantics and syntax on epistemic logics. To illustrate possible uses of our meta-theorems, we present one game theoretical theorem, which is also a meta-theorem in the sense of logic.

AB - Kaneko-Suzuki developed epistemic logics of shallow depths with multiple players for investigations of game theoretical problems. By shallow depth, we mean that nested occurrences of belief operators of players in formulae are restricted, typically to be of finite depths, by a given epistemic structure. In this paper, we develop various methods of surgical operations (cut and paste) of epistemic world models. An example is a bouquet-making, i.e., tying several models into a bouquet. Another example is to engraft a model to some branches of another model. By these methods, we obtain various meta-theorems on semantics and syntax on epistemic logics. To illustrate possible uses of our meta-theorems, we present one game theoretical theorem, which is also a meta-theorem in the sense of logic.

KW - Bouquet Making

KW - Cane Extension

KW - Decision Making in Games

KW - Depth Lemma

KW - Engrafting

KW - Epistemic Reduction

KW - Epistemic Separation

KW - Epistemic Structure

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

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

M3 - Article

AN - SCOPUS:0037354586

VL - 68

SP - 163

EP - 186

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

SN - 0022-4812

IS - 1

ER -