[nmrm]

> which incorporates the notion of time and communication of proof.

Certainly constructive logics (typically) incorporate a notion of evidence/proof. But constructive logics don't incorporate notions of time or communication (of proof, or in general).

[tel]

Yeah, to be clear, those notions aren't internalized... they just bring into clarity the need for those processes to happen in the meta level.