We do not currently know of any antonyms for computational tree logic.
For similar words to computational tree logic, try: