Temporal logic. - Rescher Nicholas; Urquhart Alasdair (New York Wien, 1971)