A modeltheoretic analysis of knowledge (1991)

by R Fagin, J Y Halpern, M Y Vardi
Venue:Journal of the Association for Computing Machinery