Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo. A Logic for Reasoning about Probabilities. Inf. Comput., 87(1/2):78-128, July/August 1990.
@article{FaginHM90, title = {A Logic for Reasoning about Probabilities}, author = {Ronald Fagin and Joseph Y. Halpern and Nimrod Megiddo}, year = {1990}, month = {July/August}, tags = {logic}, researchr = {https://researchr.org/publication/FaginHM90}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {87}, number = {1/2}, pages = {78-128}, }