From discourse to logic introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory
Kamp, Hans, Uwe Reyle · 1993
1 -- 0 Preliminaries -- 1 DRT and Predicate Logic -- 2 Quantification and Connectives -- 3 Loose Ends -- 2 -- 4 The Plural -- 5 Tense and Aspect -- Table of Construction Rules -- Index of Symbols, Features and Feature Values -- Index of Names -- Index of Subjects.