The noun computation tree logic is uncountable.
The plural form of computation tree logic is also computation tree logic.