Some of these logics, such as linear temporal logic and computation tree logic, allow assertions to be made about the sequences of states that a concurrent system can pass through.
Κάποιες από αυτές τις λογικές, όπως η γραμμική χρονική λογική και η λογική υπολογιστικού δένδρου, επιτρέπουν βεβαιώσεις για ακολουθίες καταστάσεων, από τις οποίες μπορεί να περάσει ένα ταυτόχρονο σύστημα.