Temporal logic / Nicholas Rescher and Alasdair Urquhart. - Rescher, Nicholas, 1928- (Library of exact philosophy, 1971)