Relation between classical and intuitionistic sequent calculi of temporal logic - Alonderis, Romas (Lietuvos matematikos rinkinys, 2001)
There is not abstract.