Semantics for intuitionistic epistemic logics of shallow depths for game theory created by Nobu-Yuki Suzuki
Material type:
- text
- unmediated
- volume
- 09382259
- HB 119 ECO
Reviews from LibraryThing.com:
Item type | Current library | Call number | Vol info | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|
![]() |
Main Library - Special Collections | HB119 ECO (Browse shelf(Opens below)) | Vol. 53, no.1 (pages 85-110) | SP21035 | Not for loan | For in house use only |
Browsing Main Library shelves, Shelving location: - Special Collections Close shelf browser (Hides shelf browser)
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.
There are no comments on this title.
Log in to your account to post a comment.