Benthem, J. F. A. K. van, 1949-. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discource / J.F.A.K. van Benthem. - Dordrecht : D. Reidel Publishing Company, 1983. - 260 p. ; 24 cm. - Synthese library v. 156 . Includes indexes. Bibliography: p.250-253 LCCN: 82-18138 Subjects--Topical Terms: Time.Logic.