@misc{indiciaedfdfe87a7cd7,
  title = {An \$ω\$-rule for the logic of provability and its models},
  author = {Katsumi Sasaki and Yoshihito Tanaka},
  year = {2023},
  url = {https://arxiv.org/abs/2002.04782},
  note = {Source identifier: 2002.04782}
}