The aim of this course is to introduce students, who already have a basis in classical modal logic, including Kripke semantics, to temporal interpretations of modalities. We will begin the course by looking at historical discussions of temporal modalities in philosophy, covering Aristotle, Diodorus, Sherwood, Auxerre, Buridan, Ockham, using these historical developments to provide the framework to understand Prior's development of temporal logic as a distinct discipline in the 60s.
On the technical side of things, we will look at the difference between tense logic and the logic of time, complementing these discussions with readings in philosophy of time -- what is it, what are its properties, including McTaggart's classic article as well as readings in relativity and time travel. We will cover tenses and other temporal modalities ('since', 'until', 'while') in both point-based and interval-based analysis, as well as hybrid interpretations of temporal operators and analyses of temporal indexicals. Finally, if we have time and student interest, we'll look at how temporal logics are used in computer science, specifically in program specification and verification.
The primary reading for the course will be chapter 12 of my textbook, _What Is Logic?_, freely available online at http://community.dur.ac.uk/s.l.uckelman/whatislogic/ (note that right now (Spring 2018), chapter 12 has not moved much beyond being a compilation of various lecture notes that I've written for an assortment of temporal logic classes; these notes will be turned into a proper chapter, with a complete bibliography, over the course of Summer 2018).