Brandeis CS 112
Modal, Temporal, and Spatial Logics
Syllabus
Readings and Class Notes
Problem Sets
Class News
Readings and Class Notes
This is a
test
.