The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
Johan van Benthem · Medical Entomology and Zoology · 1991
I / Temporal Ontology.- I.1. / Primitive Notions.- I.2. / Points.- I.3. / Periods.- I.4. / Points and Periods.- I.5. / Events.- II / Temporal Discourse.- II.1. / Choice of Languages.- II.2. / Instant Tense Logic.- II.3. / Extended Tense Logic.- II.4. / Point Talk and Period Talk.- Appendix A / On Space.- Notes.- List of Important Principles.- Index of Names.- Index of Subjects.- Appendix Sept Ans Apres.- Additional References.