Cut-Free Sequent Calculi for the Provability Logic d. - Ryo Kashima; Taishi Kurahashi; Sohei Iwata; So Morioka (Rev. Symb. Log., 2025)