Relation between classical and intuitionistic sequent calculi of temporal logic - Romas Alonderis (Lietuvos Matematikos Rinkinys)
There is not abstract.