Zaslat SMS: Epistemic Game Theory and Logic