"A Logic for Reasoning about Upper Probabilities."

Joseph Y. Halpern, Riccardo Pucella (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics