Sergiu Hart, Micha Sharir. Probabilistic Propositional Temporal Logics. Inf. Comput., 70(2/3):97-155, August/September 1986.
@article{HartS86:0,
title = {Probabilistic Propositional Temporal Logics},
author = {Sergiu Hart and Micha Sharir},
year = {1986},
month = {August/September},
tags = {logic},
researchr = {https://researchr.org/publication/HartS86%3A0},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {70},
number = {2/3},
pages = {97-155},
}