I look forward to meeting you all this morning for our first class. I will survey the vast field of modal logic and how it is used in philosophy, linguistics, computer science, psychology, economics, and political science. The first two weeks will involve an intense treatment of proof theory for propositional and first-order logic, and their corresponding model theories, in order to get us ready for modal relation structure. We then proceed to an in-depth study of modal and dynamic logic, especially their applications to temporal and spatial systems, and how they are used in the modeling of linguistic data.
