Λογική υπολογιστικού δένδρου: Διαφορά μεταξύ των αναθεωρήσεων

Στη [[CTL*]], οι χρονικοί τελεστές μπορούν να αναμιγνύονται ελεύθερα. Στη CTL, ο τελεστής πρέπει πάντα να ομαδοποιείται σε δύο θέσεις: ένας τελεστής μονοπατιού που ακολουθείται από έναν τελεστή κατάστασης. Δείτε τα παραδείγματα παρακάτω. Η [[CTL*]] είναι γνήσια πιο εκφραστική από τη CTL.

 

Στη CTL υπάρχει ένα ελάχιστο σύνολο από τελεστές. Όλοι οι τύποι της CTL μπορούν να μετασχηματιστούν ώστε να χρησιμοποιούν μόνο αυτούς τους τελεστές, κάτι που είναι χρήσιμο στον [[έλεγχος μοντέλων|έλεγχο μοντέλων]]. Ένα ελάχιστο σύνολο από τελεστές είναι: {false, <math>\or, \neg</math>, '''EG''', '''EU''', '''EX'''}.