A logical analysis of Monty Hall and Sleeping Beauty

Allen L. Mann, Ville Aarnio

Hintikka and Sandu's independence-friendly (IF) logic is a conservative extension of first-order logic that allows one to consider semantic games with imperfect information. In the…