«Terá havido» é a forma composta de haver no futuro; «teria havido» é a forma correspondente no condicional. Ambas a formas acarretam o valor aspectual de perfectvidade.

«Terá havido» pertence à série de tempos do plano actual; «teria havido» pertence à série de tempos do plano inactual (a propósito destas noções ver «Textos relacionados»; ler também Deixis et anaphore temporelle en portugais, Fernanda Irene Fonseca).

No segmento em apreço, o ponto de referência temporal situa a situação descrita num plano temporal inactual e portanto seria natural a ocorrência de «teria havido». No entanto, a forma da frase e o seu conteúdo induzem numa leitura de monólogo interior, sendo a perspectivação da acção feita a partir do presente plano actual), o que justifica «terá havido».