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