This treatment of truth value over time differentiates temporal logic from computational verb logic.
Αυτός ο χειρισμός των τιμών αληθείας στο χρόνο διαφοροποιεί τη χρονική λογική από την υπολογιστική λογική ρημάτων (computational verb logic).