Graduate-level introduction to formal semantics, designed to prepare students for research with basic tools in Model-theoretic semantics and compositionality, including core topics such as negation, quantification, mood and modality, noun phrases, indefinites, definiteness, tense, aspect, and events, from a semantic and cross-linguistic perspective. May be repeated for credit as the topics of focus change. Prerequisite: LING 3340 or permission of instructor.