Epistemic logic for AI and computer science - Meyer, John-Jules Ch (Cambridge University Press, 1995)