The Muddy Children Puzzle Synchronous Epistemology and Iterated Reasoning Proofs
A formal mathematical proof of the classic Muddy Children puzzle examining synchronous communication rounds, epistemic Kripke frames, and iterated elimination.
Logic Puzzles
Formal propositional logic, deduction challenges, grid deductions, and Boolean puzzles.
The Blue Eyes Island Paradox Common Knowledge Induction and the Logic of Silence
A formal mathematical proof of the Blue Eyes Island Paradox dissecting common knowledge, epistemic induction, and the informational value of…
The Island of Knights and Knaves Boolean Truth Tables and Meta-Logical Elimination
A formal mathematical dissection of Raymond Smullyan's Knights and Knaves puzzles using propositional calculus, Boolean algebra, and Gödelian meta-logic.
Cheryl’s Birthday Problem Epistemic Logic, Modal Reasoning, and Backward Elimination
A rigorous step-by-step mathematical proof of Cheryl's Birthday using epistemic logic, Kripke possible worlds, and backward state-space elimination.