A spectrum of logical definitions of model-based diagnosis