Temporal modalities and the future. - Charles C. Davis; Vaughn R. McKim (Notre Dame J. Formal Log., 1976)