Annabelle McIver, Carroll Morgan. Almost-Certain Eventualities and Abstract Probabilities in the Temporal Logic PTL. Theoretical Computer Science, 42:12-40, 2001. [doi]
@article{McIverM01, title = {Almost-Certain Eventualities and Abstract Probabilities in the Temporal Logic PTL}, author = {Annabelle McIver and Carroll Morgan}, year = {2001}, url = {http://www.elsevier.nl/locate/entcs/volume42.html}, tags = {logic}, researchr = {https://researchr.org/publication/McIverM01}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {42}, pages = {12-40}, }