TY  - BOOK
AU  - Suzuki,Nobu-Yuki
TI  - Semantics for intuitionistic epistemic logics of shallow depths for game theory
SN  - 09382259
AV  - HB 119 ECO 
PY  - 2013///
CY  - Berlin
PB  - Springer
KW  - Logic and game theory
KW  - Epistemic logic
KW  - Intuitionistic logic
KW  - Kripke-type semantics
N2  - Epistemic logic of shallow depths has been developed by Kaneko—Suzuki using classical logic. In this paper, we adopt intuitionistic logic as the base logic to limit each player's reasoning to constructive one. The resulting logical system is denoted by IG EF , and we introduce epistemic possible world semantics for IG EF . We show the soundness and completeness of IG EF with respect to this semantics for it. We also show some applications to game theoretical decision making
UR  - https://doi.org/10.1007/s00199-012-0707-1
ER  -