Semantics for intuitionistic epistemic logics of shallow depths for game theory

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\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_{EF}$$\end{document}, and we introduce epistemic possible world semantics for IG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_{EF}$$\end{document}. We show the soundness and completeness of IG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_{EF}$$\end{document} with respect to this semantics for it. We also show some applications to game theoretical decision making.