Epistemic Logic For Ai And Computer Science