Semantics for intuitionistic epistemic logics of shallow depths for game theory
Suzuki, Nobu-Yuki
Semantics for intuitionistic epistemic logics of shallow depths for game theory created by Nobu-Yuki Suzuki - Economic theory Volume 53, number 1 .
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.
09382259
Logic and game theory--Intuitionistic logic--Epistemic logic
Kripke-type semantics
HB 119 ECO
Semantics for intuitionistic epistemic logics of shallow depths for game theory created by Nobu-Yuki Suzuki - Economic theory Volume 53, number 1 .
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.
09382259
Logic and game theory--Intuitionistic logic--Epistemic logic
Kripke-type semantics
HB 119 ECO