Probabilistic Propositional Temporal Logics

Sergiu Hart, Micha Sharir. Probabilistic Propositional Temporal Logics. Inf. Comput., 70(2/3):97-155, August/September 1986.

Abstract

Abstract is missing.