Decorre da conjugação dos art. 613, n 1 e 3, e 620, ambos do Código de Processo Civil, que a autoridade do caso julgado formal impede o juiz do processo de conhecer de questão que já haja sido objecto de conhecimento.