Na składanie operatorów nałożone jest jedno ograniczenie: do żadnego operatora LTL-owskiego nie da się dojść, nie przechodząc przez operator ścieżkowy.
Czyli np. nie jest poprawną formułą ale nimi są.
Logika CTL
Logika to ograniczenie logiki w którym operatory mogą występować tylko parami – operator ścieżkowy, operator stanowy – i
Operatory te można przepisać za pomocą jedynie i
Linki zewnętrzne
Tense and temporal logic , Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-10].