Brandeis CS 112
Modal, Temporal, and Spatial Logics
Reichenbach – The Tenses of Verbs
Readings and class notes will be posted in this section.