Projects in Previous Years

2nd Semester 2012/13: Temporal Logic

Bryan Renne and Joshua Sack
If you are interested in this project, please contact the instructors by email.
This course introduces students to different ways of reasoning about time in logic. Work on temporal logic started with Prior's tense logic, and has led to applications in linguistics, artificial intelligence, and the analysis of the execution of computer programs. We will study the theory of temporal logics, examining different structures or interpretations of time (such as linear or branching, discrete or dense), different languages and semantics, and key proof systems and their completeness. We will also look at applications in the areas of linguistics, artificial intelligence, and program analysis.

In addition to lectures by the instructors, the course will include group discussion and perhaps some presentation of works in the literature by students. The overall aim of the project is to provide students with an overview of the theory and applications of temporal logic so that they may incorporate temporal reasoning in their own research if they so desire.

Familiarity with propositional modal logic and first-order logic would be helpful.
Students will be asked to demonstrate mastery of the course materials through some combination of homework assignments, written reports, or oral presentations. Participation in the group discussions may also contribute to the assessment.