  So far in this article only single-agent justification logics,  analogous to single-agent logics of knowledge, have been considered.  Justification Logic can be thought of as logic of explicit  knowledge, related to more conventional logics of implicit  knowledge. A number of systems beyond those discussed above have been investigated in the literature, involving multiple agents, or having  both implicit and explicit operators, or some combination of these.