Epistemic game theory and logic