Alice ter Meulen integrates current research in natural language semantics with detailed analyses of English discourse and logical tools into an information theory that provides the foundation for computational systems to reason about change and the flow of time. She offers a systematic account of how we use temporal information contained in a text or in discourse to reason about the flow of time. A new representational toolkit is designed to formalize an appropriately context-dependent notion of situated inference.
The combined study of logic and language goes back at least as far as the Middle Ages. In the last twenty-five years it has gained momentum with the formulation of Montague semantics and Generative Syntax, and the subsequent diversification of research programs.