Temporal Logic - history and semantics

Nov 18, 2022 1 min read

This is a summary of the history and semantics of various temporal logics on a timeline, including

  • Tense Logic (TL),
  • Peircean branching,
  • Ockhamist branching,
  • LTL,
  • CTL,
  • CTL*,
  • PCTL,
  • pCTL*.
[Temporal logic timeline]
[Temporal logic timeline]

Most information is from a list of references displayed below.

References

https://plato.stanford.edu/entries/logic-temporal/

https://en.wikipedia.org/wiki/Temporal_logic

https://d-nb.info/1114824291/34

https://homepages.ecs.vuw.ac.nz/~rob/papers/modalhist.pdf

https://www.mimuw.edu.pl/~vbarany/TL_course.html

https://cstheory.stackexchange.com/questions/29444/do-past-time-ltl-and-future-time-ltl-have-the-same-expressiveness

https://web.iitd.ac.in/~sumeet/slide3.pdf

https://www.cl.cam.ac.uk/archive/mjcg/TempLogic/Lectures/

Temporal logic
Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Research Associate (Computer Science)

My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.