@misc{indiciae9f354bad0dce,
  title = {A realization theorem for the modal logic of transitive closure \$\textbackslash{}mathsf\{K\}\textasciicircum{}+\$},
  author = {Daniyar Shamkanov},
  year = {2024},
  url = {https://arxiv.org/abs/2402.04027},
  note = {Source identifier: 2402.04027}
}