SMS dit: Epistemic Game Theory and Logic