@misc{indiciae4cff49973ee5,
  title = {Cut-free sequent calculi for the provability logic D},
  author = {Ryo Kashima and Taishi Kurahashi and Sohei Iwata and So Morioka},
  year = {2025},
  doi = {10.1017/s1755020325000036},
  url = {https://arxiv.org/abs/2310.16369},
  note = {Source identifier: 2310.16369}
}