Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different …