Modal, Spatial and Temporal Logic for Language Modeling - COSI 112

Teaching Assistant, Brandeis University.