Find the word definition

Wiktionary
temporal logics

n. (temporal logic English)