A note on the wise girls puzzle

DOI10.1007/S001990100210MaRDI QIDQ1349271zbMATH OpenOpenAlexFDO

Authors Mariko Yasugi, Sobei H. Oda

Publication date 21 May 2002

Published in Economic Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001990100210

zbMATH Keywords

epistemic logicunprovability

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05)

Review text

The authors discuss a simplified version of the muddy children puzzle (``three wise men puzzle). Readers not familiar with the muddy children problem can learn from the paper some basic aspects of formalization of epistemic states. The authors present some necessary proof-theoretic tools and give an idea how formal unprovability results can contribute to epistemic reasoning.

Recommendations

• Evaluations of epistemic components for resolving the muddy children puzzle
• scientific article; zbMATH DE number 4028944
• Logics of public communications
• scientific article; zbMATH DE number 2212572
• Sum and Product in Dynamic Epistemic Logic

Cited in

(2)

• Sharvy's Lucy and Benjamin puzzle
• Evaluations of epistemic components for resolving the muddy children puzzle

This page was built for publication: A note on the wise girls puzzle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1349271)