Midlands State University Library
Image from Google Jackets

Semantics for intuitionistic epistemic logics of shallow depths for game theory created by Nobu-Yuki Suzuki

By: Material type: TextTextSeries: Economic theory ; Volume 53, number 1Berlin: Springer, 2013Content type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISSN:
  • 09382259
Subject(s): LOC classification:
  • HB 119 ECO
Online resources: 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.
Reviews from LibraryThing.com:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

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.

to post a comment.