Semantics for intuitionistic epistemic logics of shallow depths for game theory (Record no. 164623)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01325nam a22002537a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | ZW-GwMSU |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240403072523.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240403b |||||||| |||| 00| 0 eng d |
| 022 ## - INTERNATIONAL STANDARD SERIAL NUMBER | |
| International Standard Serial Number | 09382259 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | MSU |
| Language of cataloging | English |
| Transcribing agency | MSU |
| Description conventions | rda |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | HB 119 ECO |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Suzuki, Nobu-Yuki |
| Relator term | author |
| 245 10 - TITLE STATEMENT | |
| Title | Semantics for intuitionistic epistemic logics of shallow depths for game theory |
| Statement of responsibility, etc. | created by Nobu-Yuki Suzuki |
| 264 1# - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Berlin: |
| Name of producer, publisher, distributor, manufacturer | Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2013. |
| 336 ## - CONTENT TYPE | |
| Source | rdacontent |
| Content type term | text |
| Content type code | txt |
| 337 ## - MEDIA TYPE | |
| Source | rdamedia |
| Media type term | unmediated |
| Media type code | n |
| 338 ## - CARRIER TYPE | |
| Source | rdacarrier |
| Carrier type term | volume |
| Carrier type code | nc |
| 440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Economic theory |
| Volume/sequential designation | Volume 53, number 1 |
| 520 3# - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logic and game theory |
| Form subdivision | Epistemic logic |
| General subdivision | Intuitionistic logic |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Kripke-type semantics |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://doi.org/10.1007/s00199-012-0707-1 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Journal Article |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Serial Enumeration / chronology | Total Checkouts | Full call number | Date last seen | Copy number | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Main Library | Main Library | - Special Collections | 01/10/2014 | Vol. 53, no.1 (pages 85-110) | HB119 ECO | 03/04/2024 | SP21035 | 03/04/2024 | Journal Article | For in house use only |