@misc{indiciaeea3ad8f1286d,
  title = {Unary interpretability logics for sublogics of the interpretability logic \$\textbackslash{}mathbf\{IL\}\$},
  author = {Yuya Okawa},
  year = {2022},
  url = {https://arxiv.org/abs/2206.03677},
  note = {Source identifier: 2206.03677}
}