This course provides an introduction to formal semantics based on the framework of Heim & Kratzer (1998). Starting from the basics of formal logic, we will see how the lambda-calculus is employed for modelling the semantics of basic natural language expressions.
Semester: WiSe 2023/24