CTL* is strictly more expressive than CTL.
Η CTL* είναι γνήσια πιο εκφραστική από τη CTL.