@misc{indiciaebd80cfa99216,
  title = {A cut-free proof system for a predicate extension of the logic of provability},
  author = {Yoshihito Tanaka},
  year = {2018},
  doi = {10.4467/20842589rm.18.006.8839},
  url = {https://arxiv.org/abs/1802.10261},
  note = {Source identifier: 1802.10261}
}