COSI 112A — Modal, Temporal, and Spatial Logic for Language
[ sn ]Prerequisites: COSI 29a.
Examines the formal and computational properties of logical systems that are used in AI and linguistics. This includes (briefly) propositional logic and first order logic, and then an in-depth study of modal logic, temporal logic, spatial logic, and dynamic logic. Throughout the analyses of these systems, focuses on how they are used in the modeling of linguistic data. Usually offered every second year.
James Pustejovsky