Text this: Epistemic logic for AI and computer science