Type-Theoretical Dynamics: a logical framework for collective knowledge and information processing.

Period 01-10-2008 to 30-09-2009
Type Postdoctoral Fellowship
Fellow Dr. Giuseppe Primiero
Funding agency Special Research Fund of Ghent University (BOF)

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 implicitly in a number of everyday situations, being the basis of intelligent interactions and collective decision procedures.