Epistemic Game Theory and Logic