In Theory and Evidence in Semantics, editors Erhard W. Hinrichs and John Nerbonne present a series of state-of-the-art papers that investigate the interface of natural language semantics with other modules of grammar—such as morphology, syntax, and pragmatics—and pursue applications of semantic theory in computational linguistics. Written by some of the leading scholars in the field, and strongly influenced by the seminal work of David R. Dowty in model-theoretical semantics, the papers provide novel accounts of highly complex sets of semantic phenomena, including anaphora, coordination, ellipsis, interrogatives, and negative and collective predicates, as well as tense and aspect.