  In the epistemic context, Justification Logic and the Correspondence  Theorem add a new ‘justification’ component to modal  logics of knowledge and belief. Again, this new component was, in  fact, an old and central notion which has been widely discussed by  mainstream epistemologists but which remained out of the scope of  classical epistemic logic. The Correspondence Theorem tells us that  justifications are compatible with Hintikka-style systems and hence  can be safely incorporated into the foundation for Epistemic Modal  Logic.