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