Epistemic Logic For Ai And Computer Science by Wiebe van der Hoek, John-Jules Ch. Meyer & John-Jules Ch Meyer