TY - RPRT TI - A logic for reasoning about upper probabilities AU - Joseph Y. Halpern AU - Riccardo Pucella PY - 2003 UR - https://arxiv.org/abs/cs/0307069 ID - cs/0307069 ER -