Temporal logic, probability logic, real-time systems, model checking, formal methods and theoretical computer science in general.