# Author: Nikhil Krishnaswamy

# DITL and Dynamic Logic Slides

# Epistemic Logic Reading

# Problem Set 6

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

# 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.

# Qualitative Spatial Reasoning

The QSR slides from today may be found here.

# Problem Set 4

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

# Allen – Maintaining Knowledge about Temporal Intervals

The James Allen 1983 paper introducing the interval calculus may be found here.

# Computation Tree Logic

Reading on CTL is posted here.

# Video Lecture – Temporal Logic

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

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.

# Propositional Logic Slides

# 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.