@misc{indiciaefe6c0294962f,
  title = {On provability logics with linearly ordered modalities},
  author = {Lev D. Beklemishev and David Fernández-Duque and Joost J. Joosten},
  year = {2012},
  url = {https://arxiv.org/abs/1210.4809},
  note = {Source identifier: 1210.4809}
}