Title: Evidential reasoning in logic systems