Epistemic logic for AI and computer science - Meyer, John-Jules Ch. 1954-; Hoek, Wiebe van der (Cambridge tracts in theoretical computer science, 1995)