In this paper, we are mainly concerned with consistency-based diagnoses for systems represented in a propositional framework. Several characterizations of such diagnoses (mainly minimal diagnoses, kernel diagnoses, MT-diagnoses) have been proposed so far. Unfortunately, minimal diagnoses, and MT-diagnoses characterize only some consistency-based diagnoses and the set of kernel diagnoses for a s...