"A Logic with Conditional Probabilities."

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics