A Formalization of Credit and Responsibility Within the GNDC Schema

We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through some examples discussed in the literature.