Title: Epistemic logic for AI and computer science
Subjects: Symbolic and mathematical Logic, Computer science, Artificial intelligence, Knowledge, theory of