Dynamic Aleatoric Reasoning in Games of Bluffing and Chance

Games of chance and bluffing, such as bridge, The Resistance, and poker allow epistemic reasoning. Players know their own cards while being uncertain of opponents'. Success generally involves reducing your uncertainty without reducing that of your opponents. Reasoning in such games requires a mix of logical (deducing what is possible) and probabilistic (what is likely). We present a dynamic aleatoric logic for epistemic reasoning in such games.