This is surprising because the computational complexity of model checking in CTL* is not worse than that of LTL: they both lie in PSPACE.
Παρόλα αυτά, η υπολογιστική πολυπλοκότητα του ελέγχου μοντέλων σε CTL* δεν είναι χειρότερη από αυτήν της LTL: και οι δύο ανήκουν στο PSPACE.