Brandeis CS 112
Modal, Temporal, and Spatial Logics
Propositional Logic slides Semantics of Propositional Logic slides