No se encontró "computation tree logic". Parece que esa forma no existe