TY  - RPRT
TI  - Cut-free sequent calculi for the provability logic D
AU  - Ryo Kashima
AU  - Taishi Kurahashi
AU  - Sohei Iwata
AU  - So Morioka
PY  - 2025
DO  - 10.1017/s1755020325000036
UR  - https://arxiv.org/abs/2310.16369
ID  - 2310.16369
ER  -