temporal logics

== English == === Noun === temporal logics plural of temporal logic