Problem set 6 is available here. Due Monday, November 14, 2016. Happy voting tomorrow!
Problem set 5, on spatial logic in natural language, may be found here. This is due by the end of the day next Monday, October 24th.
The QSR slides from today may be found here.
Problem set 4, on LTL and CTL, is here. This is due on October 4.
The James Allen 1983 paper introducing the interval calculus may be found here.
Reading on CTL is posted here.
A 30-minute video lecture on temporal logic is now posted on LATTE under Topic 3. There will be a follow-up posted over the weekend. Please watch all videos at your own leisure but be sure to complete the full series before Tuesday’s class so you can stay up-to-date.
Problem set 3 on basic modal logic is posted here. This will be due next week, Thursday, September 22, at 6:00 pm.
Problem set 2 is posted here. This is due next week, Thursday, September 15. Please submit via e-mail in PDF format as both of us will be out of town that day. If you have issues submitting in PDF format, please e-mail and we can discuss.
Problem Set 1: Natural Deduction for Propositional Logic is available here. This is due Wednesday, September 7, 2016. Answers may be submitted on paper or via e-mail. Paper answers may be left with Nikhil in his office (Volen 110) by the due date. Please e-mail both Nikhil and James if you choose to submit this way.