Completeness classes for intuitionistic first-order temporal logic with time gaps - Romas Alonderis (Lietuvos Matematikos Rinkinys)
There is not abstract.