An analysis of first-order logics of probability - Halpern, JY (Artif Intell, 1990)