The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discource / - Benthem, Johan van (D. Reidel Pub. Co., 1983)