@misc{indiciaef1ba131e17e9,
  title = {Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs},
  author = {Yury Savateev and Daniyar Shamkanov},
  year = {2018},
  url = {https://arxiv.org/abs/1804.01432},
  note = {Source identifier: 1804.01432}
}