Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems (Logical Methods in Computer Science, 2007)