On Epistemic Logic and Logical Omniscience.