Relating logics of justification and evidence
Abstract
The paper relates evidence and justification logics, both philosophically
and technically. On the philosophical side, it is suggested that the difference between the approaches to evidence in the two families of logics can be explained as a result of their focusing on two different notions of support provided by evidence. On the technical side, a justification logic with operators pertaining to both kinds of support is shown to be sound and complete with respect to a special class of awareness models. In addition, a realization theorem with respect to K is shown to hold for the logic.