Brandeis CS 112
Modal, Temporal, and Spatial Logics
Syllabus
Readings and Class Notes
Problem Sets
Class News
Class News