Implicit epistemic aspects of constructive logic