  In order to build a formal account of justification logics one must  make a basic structural assumption: justifications are abstract  objects which have structure and operations on them. A good  example of justifications is provided by formal proofs, which have  long been objects of study in mathematical logic and computer science (cf. Section 1.2).