I 'Time and Modality' undersøkes forholdet mellom formell logikk og generell filosofi gjennom flere detaljerte temaer. Boken tar for seg emner som en grundig reundersøkelse av våre tids-logiske postulater, modal logikk i stil med Frege, og intensjonal logikk i lys av indeterminisme. Forfatteren inviterer leseren til å reflektere over hvordan tid og modalitet er nøkkelkomponenter i vår forståelse av logiske strukturer, og hvordan disse konseptene former filosofiske diskurser.