Epistemic Logic for AI and Computer Science