The logic of time : : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse - Benthem, Johan F. Van (Synthese library, 1991)