Decidability and expressiveness for first-order logics of probability - Abadi, Martín 1963-; Halpern, Joseph Y. 1953- (1991)