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.
Problem set 4, on LTL and CTL, is here. This is due on October 4.
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.