Logic of Evidence-based Knowledge

This paper presents logics for reasoning about sound enough evidence and its relation to evidence and knowledge. The logic of sound enough evidence is based on van Benthem and Pacuit's evidence logic and Holliday's formalization of Nozick's tracking theory. And the newly defined knowledge based on sound enough evidence does not imply the evidence-based belief but respects the epistemic closure. The related philosophical issues are also discussed.