Others, such as action computational tree logic, Hennessy–Milner logic, and Lamport's temporal logic of actions, build their assertions from sequences of actions (changes in state).
Altele, cum ar fi logica bazată pe arbori computaționali de acțiuni, logica Hennessy-Milner și logica temporală de acțiuni a lui Lamport (care combină logica temporală cu logica acțiunilor) primesc informația prin secvențe de acțiuni (schimbări de stare).