R. Fagin, J. Halpern, and M. Vardi. A model-theoretic analysis of knowledge. Journal of the ACM, 38(2), 382-428, 1991.
author author author author author author author title title title title title journal journal journal journal volume pages date