Αποστολή με SMS: Epistemic logic for AI and computer science