temporální logika

Noun

 * 1) temporal logic