A Note on Strong Axiomatization of Gödel Justification Logic. - Nicholas Pischke (Stud Logica, 2020)

Gödel justification logics and realization. - Nicholas Pischke (Log. J. IGPL, 2022)

Quantitative analysis of a subgradient-type method for equilibrium problems. - Nicholas Pischke; Ulrich Kohlenbach (Numer. Algorithms, 2022)

Correction to: Quantitative analysis of a subgradient-type method for equilibrium problems. - Nicholas Pischke; Ulrich Kohlenbach (Numer. Algorithms, 2022)

On infinitary Gödel logics. - Nicholas Pischke (J. Log. Comput., 2023)

On intermediate justification logics. - Nicholas Pischke (Log. J. IGPL, 2023)

Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis. - Nicholas Pischke (Bull. Symb. Log., 2024)

Asymptotic regularity of a generalised stochastic Halpern scheme with applications. - Nicholas Pischke; Thomas Powell (CoRR, 2024)

Logical metatheorems for accretive and (generalized) monotone set-valued operators. - Nicholas Pischke (J. Math. Log., 2024)

Generalized Learnability of Stochastic Principles. - Morenikeji Neri; Nicholas Pischke; Thomas Powell 001 (CiE, 2025)

On the asymptotic behaviour of stochastic processes, with applications to supermartingale convergence, Dvoretzky's approximation theorem, and stochastic quasi-Fejér monotonicity. - Morenikeji Neri; Nicholas Pischke; Thomas Powell (CoRR, 2025)