A propositional probabilistic logic with discrete linear time for reasoning about evidence