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