Kamp’s theorem states the equivalence between temporal logics and temporal logics with past operators over complete linear orderings.