A model-theoretic analysis of knowledge (1991)

by R Fagin, J Y Halpern, M Y Vardi
Venue:in Proceedings of the 25th IEEE Symposium on Foundations of Computer Science