Time is what keeps everything from happening at once    —  Ray Cummings



Lecture summary

Lecture 1

Lecture 2

Lecture 3

Lecture 4

Lecture 5

Lecture 6

Lecture 7

Lecture 8

Lecture 9

Lecture 10

Lecture 11

Lecture 12



Some reading material

Intros and historical surveys


General References


Axiomatic completeness, Complexity of satisfiability and model checking


Expressive completeness, Kamp's theorem, Gabbay's separation


LTL, ω-regular languages, Büchi automata, monadic second-order logic


Non-existence of finite basis

Branching Time Logics

Weak Alternating Automata

Interval Temporal Logics

Timed automata and Timed temporal logics



Last updated on 5 January 2011