A 30-minute video lecture on temporal logic is now posted on LATTE under Topic 3. There will be a follow-up posted over the weekend. Please watch all videos at your own leisure but be sure to complete the full series before Tuesday’s class so you can stay up-to-date.
I look forward to meeting you all tomorrow 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.