@misc{indiciae3d3e99ac63f8,
  title = {A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics},
  author = {Yukihiro Oda},
  year = {2026},
  url = {https://arxiv.org/abs/2512.15075},
  note = {Source identifier: 2512.15075}
}