Temporálne logiky ? obrázky
Príklady pouzitia operátorov F, G, X a ? v propozicnej lineárnej temporal logic (znacky sú pri vrcholoch)
Príklady pouzitia operátorov A, E v propozicnej branching temporal logic (znacky sú pri vrcholoch; vrchol je vyplnený, ak má znacku p)