User blog comment:Edwin Shade/The Timeline Function/@comment-1605058-20171022103315

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