CS112: Modal, Spatial, and Temporal Logics

Brandeis University, Fall 2008

Class News! (12/4/08)

Course Details

Time: Tuesday and Friday 10:40-12:00 pm
Location: Volen 106

Professor: James Pustejovsky
258 Volen Center
Office Hours: MW 10:30-12:00

Teaching Assistant:
Jessica L. Moszkowicz
110 Volen Center
Office Hours: WTh 2:00-3:30

Course Description

In this course, we examine a variety of logical systems including propositional logic, first order logic, modal logic, temporal logic, spatial logic and dynamic logic. Throughout our analyses of these systems, we will focus on how they are used in the study of language.

Grading Information

Your grade for this class is based on several problem sets, in-class quizzes, and class participation. The breakdown is as follows:

Problem Sets (3) - 45%
In-class Quizzes (3) - 45%
Class Participation - 10%

Late Policy: Problem sets are due at the beginning of class 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.

Course Information

Throughout the semester, we will use this website to make any course announcements, so please check in frequently. There is also a latte page for this course that you can access by logging in at
http://latte.brandeis.edu/. You must be officially registered for the course in order to access the latte page. Course readings and Handouts will be posted through latte.

Last Updated: 12/4/08