Epistemic logic for AI and computer science

Book by John-Jules Ch Meyer