From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

This chapter discusses DRS-Construction for Plurals I, the Semantics and Logic of Temporal Reference, and model theory, which aims to explain the construction of these sentences and its application in the context of a discrete-time model.