Newcomb's Problem and Epistemic Logic