Epistemic Logic and the Theory of Games and Decisions