A note on the wise girls puzzle (Q1349271)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A note on the wise girls puzzle |
scientific article; zbMATH DE number 1743165
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on the wise girls puzzle |
scientific article; zbMATH DE number 1743165 |
Statements
A note on the wise girls puzzle (English)
0 references
21 May 2002
0 references
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.
0 references
epistemic logic
0 references
unprovability
0 references
