This chapter discusses semantic discourse analysis, which involves assigning meanings and references to sequences of sentences in a discourse. Semantically, discourses are linked to sequences of underlying propositions derived from the individual sentences. Pragmatically, these propositions are in turn linked to configurations of facts in possible worlds. A full semantic analysis of discourse requires considering both intensional meanings and extensional references, and relating these to people's real-world knowledge and interpretations.