  Initial results concerning the possibility of Quantified  Justification Logic were notably unfavorable. The arithmetical  provability semantics for the Logic of Proofs  \(\mathsf{LP}\), naturally generalizes to a  first-order version with conventional quantifiers, and to a version  with quantifiers over proofs. In both cases, axiomatizability  questions were answered negatively.