Readings and Class Notes
DITL and Dynamic Logic Slides
Epistemic Logic Reading
Qualitative Spatial Reasoning
The QSR slides from today may be found here.
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.