A Logic for Reasoning about Probabilities Ronald Fagin Joseph Y. Halpern Nimrod Megiddo 78-128 Inf. Comput. July/August 1990 87 1/2 db/journals/iandc/iandc87.html#FaginHM90