@misc{indiciae83f620c50192,
  title = {Modal completeness of sublogics of the interpretability logic \$\textbackslash{}mathbf\{IL\}\$},
  author = {Taishi Kurahashi and Yuya Okawa},
  year = {2020},
  url = {https://arxiv.org/abs/2004.03813},
  note = {Source identifier: 2004.03813}
}