Axiomatising First-order Temporal Logic: Until and Since over Linear Time (1996)

by Mark Reynolds
Venue:Studia Logica