Like CTL, CTL* is a branching-time logic.
Όπως η CTL, η CTL* είναι μια λογική διακλαδιζόμενου χρόνου.