Problem set 6 is available here. Due Monday, November 14, 2016. Happy voting tomorrow!

# Problem Sets

# Problem Set 5

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

Problem set 4, on LTL and CTL, is here. This is due on October 4.

# Problem Set 3

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

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

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.