"A Logic to Reason about Likelihood"

Joseph Y. Halpern, Michael O. Rabin (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics