Interval temporal logic (ITL) is a specific form of temporal logic, originally developed by Ben Moszkowski for his thesis at Stanford University.
Η Χρονική λογική διαστημάτων (Interval Temporal Logic ή ITL) είναι μια ειδική μορφή χρονικής λογικής, που δημιουργήθηκε αρχικά από τον Μπεν Μοσκόβσκι για τη διατριβή του στο Πανεπιστήμιο του Στάνφορντ.