Modal logics, justification logics, and realization

Justification logics connect with modal logics, replacing unstructured modal operators with justification terms explicitly representing interdependence and flow of reasoning. The number of justification logics quickly grew from an initial single instance to a handful to about a dozen examples. In this paper we provide very general, though partly non-constructive, methods that cover all previous examples, and extend to an infinite family of modal logics. The full range of the phenomenon is not known. The extent to which constructive methods apply is also not known, but it is related to the availability of cut-free proof methods for modal logics.