CTL and LTL were developed independently before CTL*.
Η CTL και η LTL αναπτύχθηκαν αυτόνομα πριν την CTL*.