@misc{indiciae3f0b1ac44bd7,
  title = {Effectively constructible fixed points in Sacchetti's modal logics of provability},
  author = {Taishi Kurahashi and Yuya Okawa},
  year = {2021},
  url = {https://arxiv.org/abs/1811.12827},
  note = {Source identifier: 1811.12827}
}