Epistemic logic and the foundations of game theory