@misc{indiciae6c17f9ef92cc, title = {A logic for reasoning about upper probabilities}, author = {Joseph Y. Halpern and Riccardo Pucella}, year = {2003}, url = {https://arxiv.org/abs/cs/0307069}, note = {Source identifier: cs/0307069} }