Temporal logics need their clocks

AbstractWe investigate effective inference systems for first-order temporal logics from the point of view of completeness and soundness. Among others, the role of clocks in these issues will be somewhat clarified by our results. Some open problems from the literature of temporal logic will be solved