Epistemic logic for AI and computer science /
Meyer, John-Jules Ch.
Hoek, W. Van Der.
Cambridge : Cambridge University Press,
1995.