Peter Øhrstrøm Per F. V. Hasle Modern temporal logic: The philosophical background. 447-498 2006 Logic and the Modalities in the Twentieth Century https://doi.org/10.1016/S1874-5857(06)80032-4 series/hhl/7 db/series/hhl/hhl7.html#OhrstromH06a