The logic of time

a model-theoretic investigation into the varieties of temporal ontology and temporal discourse

by Johan van Benthem