@article{meyer1995,
  title={Epistemic Logic for AI and Computer Science},
  author={John-Jules Meyer and Wiebe van der Hoek},
  year={1995},
  journal={Cambridge University Press eBooks},
  doi={10.1017/cbo9780511569852},
  url={https://doi.org/10.1017/cbo9780511569852}
}