olemus
modaallloogika, mis sisaldab ajalisi modaalsusi

Wiktionary:
a form of symbolic logic used to reason about properties of statements related to order and duration

ülevaateid
https://en.wikipedia.org/wiki/Temporal_logic
https://people.eecs.berkeley.edu/~sseshia/fmee/lectures/TemporalLogicIntro.pdf
https://www.cas.mcmaster.ca/~lawford/2F03/Notes/model.pdf
https://plato.stanford.edu/entries/logic-temporal/
http://www-verimag.imag.fr/~maler/Papers/time-freq.pdf
https://lamport.azurewebsites.net/pubs/lamport-actions.pdf
http://homepages.mcs.vuw.ac.nz/~rob/papers/modalhist.pdf
https://intranet.csc.liv.ac.uk/research/techreports/tr2008/ulcs-08-020.pdf