I will use a modal constructive logical framework to model the relation between information and knowledge in reasoning procedures of the form: provided that informations x,y,z are verified, the collective of agents A has justified knowledge K. Such reasoning forms appear implicity in a number of everyday situations, being the basis of intelligent interactions and collective decision procedures.