Recent Announcements

Quiz 2 Notes
Here's a list of the topics to be covered for the quiz on Friday:1. RCC8 relations.2. Conceptual neighborhoods in space3. 9 Intersection Calculus relations in 2 ...
Posted Dec 2, 2010, 9:12 AM by James Pustejovsky

Typo in 9IC Slides for LineRegion Intersection
There is an unfortunate typo misrepresenting how lines and regions should be interpreted as intersecting pointsets. On page 44 of the slides entitled "QSRIntroduction", there are incorrect values ...
Posted Nov 22, 2010, 8:26 AM by James Pustejovsky

Readings about Motion Calculi
Several readings have been posted on this topic and they will be discussed in class on Friday. It's ok if you don't have time to read them ahead ...
Posted Nov 18, 2010, 7:03 AM by Jessica Moszkowicz

Syllabus Updates
There have been some slight updates to the syllabus. In addition to some changes to the topics, the final problem set will now be handed out on Friday and is ...
Posted Nov 9, 2010, 7:14 AM by Jessica Moszkowicz

Space, the ...
We enter the domain of spatial interpretation with our modal toolkit, and we find that we need more than conventional modal accessibility relations in order to model spatial configurations. I ...
Posted Nov 3, 2010, 6:50 PM by James Pustejovsky

Homework Assignments

Problem Set 5
Problem Set 5 is now available. It is due on November 23. Good luck!
Posted Nov 12, 2010, 12:38 PM by Jessica Moszkowicz

Problem Set 4
Problem Set 4 is now available. The problem set due date has changed to November 5 since it was posted a bit late. Good luck!
Posted Oct 26, 2010, 12:36 PM by Jessica Moszkowicz

Problem Set 3
Problem Set 3 is now available. It is due on Tuesday, October 5 in class. This problem set covers models for modal logic, natural deduction for modal logic, and quantified ...
Posted Sep 24, 2010, 11:05 AM by Jessica Moszkowicz

PS2 Due Date Changed!
Problem Set 2 is now due at the beginning of class on Tuesday, September 21.
Posted Sep 17, 2010, 8:51 AM by Jessica Moszkowicz

Hint for PS 2
When you're working on the natural deduction proofs for PS2, it might be helpful to consider rewriting a formula uses a logical equivalence. For example, there is an equivalence ...
Posted Sep 15, 2010, 7:23 PM by Jessica Moszkowicz
