Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic. A propositional probabilistic logic with discrete linear time for reasoning about evidence. Annals of Mathematics and Artificial Intelligence, 65(2-3):217-243, 2012. [doi]
Abstract is missing.