A logic for reasoning about upper probabilities
<|reference_start|>A logic for reasoning about upper probabilities: We present a propositional logic %which can be used to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability to each event. We give a sound and complete axiomatization for the logic, and show that the satisfiability problem is NP-complete, no harder than satisfiability for propositional logic.<|reference_end|>
@article{halpern2003a,
    title={A logic for reasoning about upper probabilities},
    author={Joseph Y. Halpern and Riccardo Pucella},
    journal={Journal of AI Research 17, 2001, pp. 57-81},
    year={2003},
    archivePrefix={arXiv},
    eprint={cs/0307069},
    primaryClass={cs.AI cs.LO}
}