Reasoning about knowledge and probability (1994)

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