A logic for reasoning about probabilities (1990)

by R Fagin, J Y Halpern, N Megiddo
Venue:Information and Computation