Correct Answer.
See Section 3.8.2 of the textbook for a discussion of the relative expressiveness of CTL and CTL*.
Back to Question.
Correct Answer.