In this course, we examine the range of logical systems known as modal logics. Modal logics are languages for talking about relational structures from an internal and local perspective. They include: temporal logic, spatial logic, deontic logic, epistemic logic, and dynamic logic. We will also study Linear Temporal Logic and Computation Tree Logic. Throughout our analyses of these systems, we will focus on how they are used in the study of language, including several first-order modal languages: quantified modal logic and quantified dynamic logic.
Time: Tuesday and Friday, 11:10 AM-12:30 PM
Location: Rosenstiel 118
Teaching Assistant: Jingxuan Tu
110 Volen Center
Office Hours: Wednesday 11am-12pm, Friday 10am-11am
Your grade for this class is based on problem sets, quizzes, and class participation. The breakdown is as follows:
- Problem Sets (6-7) – 65%
- Quizzes (2) – 25%
- Class Participation – 10%
Late Policy: Problem sets are due at 11:59pm on the due date unless otherwise stated. For each day your assignment is late, you will lose 5%. No extensions will be granted on the due date without a documented reason.