Text this: Relation between classical and intuitionistic sequent calculi of temporal logic