TY  - RPRT
TI  - (Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
AU  - Daniyar Shamkanov
PY  - 2025
UR  - https://arxiv.org/abs/2504.01388
ID  - 2504.01388
ER  -