John-Jules Meyer, Wiebe van der Hoek (1995). Epistemic Logic for AI and Computer Science. Cambridge University Press eBooks. https://doi.org/10.1017/cbo9780511569852