Decidability and expressiveness for first-order logics of probability | IEEE Conference Publication | IEEE Xplore