Temporal logic always has the ability to reason about a timeline.
Η χρονική λογική έχει πάντα τη δυνατότητα να εκφράζει συλλογισμούς για μια χρονική γραμμή.