A Propositional Lattice for the Logic of Temporal Predictions