Joseph Y. Halpern, Michael O. Rabin. A Logic to Reason about Likelihood. In Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, 25-27 April 1983, Boston, Massachusetts, USA. pages 310-319, ACM, 1983.
@inproceedings{HalpernR83,
title = {A Logic to Reason about Likelihood},
author = {Joseph Y. Halpern and Michael O. Rabin},
year = {1983},
tags = {logic},
researchr = {https://researchr.org/publication/HalpernR83},
cites = {0},
citedby = {0},
pages = {310-319},
booktitle = {Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, 25-27 April 1983, Boston, Massachusetts, USA},
publisher = {ACM},
}