Email Record: Epistemic logic for AI and computer science /