Axiomatising first-order temporal logic: until and since over linear time (1996)

by M Reynolds
Venue:Studia Logica