What is the abbreviation for Time computation tree logic?

Looking for the shorthand of Time computation tree logic or how to abbreviate it? We have 3 shorthands for Time computation tree logic.