|
オダ ヒデノリ
ODA HIDENORI
小田 秀典 所属 京都産業大学 経済学部 経済学科 職種 教授 |
|
| 言語種別 | 英語 |
| 発行・発表の年月 | 2002/01 |
| 形態種別 | 研究論文 |
| 査読 | 査読あり |
| 標題 | A note on the wise girls puzzle |
| 執筆形態 | その他 |
| 掲載誌名 | ECONOMIC THEORY |
| 出版社・発行元 | SPRINGER-VERLAG |
| 巻・号・頁 | 19(1),pp.145-156 |
| 著者・共著者 | M Yasugi,S .H. Oda |
| 概要 | This article analyzes the two wise girls puzzle, which is a simpler variant of the so-called three wise men puzzle, with some proof-theoretic tools. We formulate the puzzle in an epistemic logic. Our chief assumption is that the reasoning ability of each player of the puzzle is equivalent to what is described by the epistemic logic. We will interpret the behaviors of the players in the puzzle in terms of unprovability of certain statements. The proof-theoretic tools we employ are consequences of a meta-theorem, known as the cut elimination theorem. |
| DOI | 10.1007/s001990100210 |
| ISSN | 0938-2259 |