  Tracking justifications represents the structure of the Red Barn  Example in a way that is not captured by traditional epistemic modal  tools. The Justification Logic formalization models what seems to be  happening in such a case; closure of knowledge under logical  entailment is maintained even though ‘barn’ is not  perceptually   known.[2] 