Semantics for intuitionistic epistemic logics of shallow depths for game theory

Nobu-Yuki Suzuki ()

Economic Theory, 2013, vol. 53, issue 1, 85-110

Abstract: 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. Copyright Springer-Verlag 2013

Keywords: Logic and game theory; Epistemic logic; Intuitionistic logic; Kripke-type semantics; C70 (search for similar items in EconPapers)
Date: 2013
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://hdl.handle.net/10.1007/s00199-012-0707-1 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:joecth:v:53:y:2013:i:1:p:85-110

Ordering information: This journal article can be ordered from
http://www.springer. ... eory/journal/199/PS2

DOI: 10.1007/s00199-012-0707-1

Access Statistics for this article

Economic Theory is currently edited by Nichoals Yanneils

More articles in Economic Theory from Springer, Society for the Advancement of Economic Theory (SAET) Contact information at EDIRC.
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().