People in Temporal Logic

A list of Personal WWW pages of researches in Temporal Logic. This is my personal collection of links to WWW pages of those researchers I referred to or used their texts as a background.

  • Julian Bradfield

  • Bruno Courcelle

  • Clare Dixon

  • Michael Fisher

  • Orna Crumberg

  • Mads Dam

  • Dexter Kozen

  • Alan Emerson

  • Joseph Halpern

  • Colin Stirling

  • Wolfgang Thomas

  • Moshe Vardi

  • Igor Walukiewicz

  • Pier Wolper