A Note on Fixed Points in Quantified Logic of Proofs and the Surprise Test Paradox

In this note, we study the effect of adding fixed points to justification logics. By making use of the fixed point operators (or diagonal operators) introduced by Smorynski in his Diagonalization Operator Logic, we introduce fixed point extensions of Fitting's quantified logic of proofs QLP. We then formalize the Knower Paradox and various self-reference versions of the Surprise Test Paradox in these fixed point extensions of QLP. By interpreting a surprise statement as a statement for which there is no justification or evidence, we propose a solution to the self-reference version of the Surprise Test paradox. We show that one of the axioms of QLP (the Uniform Barcan Formula) could be the reason for producing contradiction in these paradoxes, and thus by rejecting this axiom we can avoid contradiction in the aforementioned paradoxes. By introducing Mkrtychev models for the fixed point extensions of QLP, we further show that these fixed point extensions (without the Uniform Barcan Formula) are consistent.