Formal Pragmatics addresses issues that are on the borderline of the semantics and pragmatics of natural language, from the point of view of a model-theoretic semanticist. This up-to-date resource covers a substantial body of formal work on linguistic phenomena, and presents the way the semantics-pragmatics interface has come to be viewed today.

• Introduces Discourse Representation Theory and File Change Semantics, with their formal representation of context and context change.
  
• Covers presupposition, including the nature and status of presuppositions as well as presupposition projection.
  
• Deals with focus, its prosodic manifestation, and the model-theoretic analysis of its meaning and function.

This volume, which serves as a textbook, as well as a reference or research book, offers a detailed discussion of key issues and clearly explains important, cutting-edge research.