A conditional logic for abduction