The Wikipedia article on temporal logic lists many varieties of temporal logic, such as LTL (linear temporal logic), CTL (computation tree logic), CTL*, and others. Which of these is the logic described in Manna & Pnueli's textbook The Temporal Logic of Reactive and Concurrent Systems: Specification?
I've started to read Manna & Pnueli's textbook. I'd like to read other accounts of the same theory. But to do so I need to know the name of the theory, so I can look for other textbooks about it.