A Logic for Reasoning about Probabilities

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},
}