Modal Logic Resoursces

  • Doron Bustan LTL and CTL explained. This text contains the Traffic Signal example.
  • Contains a survey of theoretical aspects of Temporal and Modal Logic