temporal logic

Временная логика