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