The noun computation tree logic is uncountable.
The singular form of computation tree logic is also computation tree logic.
Win Amazon gift cards by writing simple stories at Fictish, a new story writing game backed by WordHippo.