  While the investigation of propositional Justification Logic is far  from complete, there has also been some work on first-order  versions. Quantified versions of Modal Logic already offer  complexities beyond standard first-order logic. Quantification has an even broader field to play when Justification Logics are involved.  Classically one quantifies over ‘objects,’ and models are equipped with a domain over which quantifiers range. Modally one  might have a single domain common to all possible worlds, or one  might have separate domains for each world. The role of the Barcan  formula is well-known here. Both constant and varying domain options  are available for Justification Logic as well. In addition there is a possibility that has no analog for Modal Logic: one might quantify  over justifications themselves.