Logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse - Benthem, J. F. A. K. van (D. Reidel publisching company, 1983)