A note on the wise girls puzzle

Mariko Yasugi () and Sobei H. Oda ()
Additional contact information
Sobei H. Oda: Faculty of Economics, Kyoto Sangyo University, Kita-ku, Kyoto 603-8555, JAPAN

Economic Theory, 2002, vol. 19, issue 1, 145-156

Abstract: 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.

Keywords: Puzzle; Propositional calculus; Belief operator; Proof-theory; Cut elimination; Unprovability. (search for similar items in EconPapers)
JEL-codes: C69 C79 D82 (search for similar items in EconPapers)
Date: 2001-09-12
Note: Received: August 1, 2000; revised version: May 15, 2001
References: Add references at CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://link.springer.de/link/service/journals/00199/papers/2019001/20190145.pdf (application/pdf)
Access to the full text of the articles in this series is restricted

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:19:y:2002:i:1:p:145-156

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

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 ().