Zoran Ognjanovic Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity. 257-285 2006 16 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exi077 db/journals/logcom/logcom16.html#Ognjanovic06