What can machines know? on the properties of knowledge in distributed systems (1992)

by R Fagin, J Y Halpern, M Y Vardi
Venue:Journal of the ACM