@misc{indiciaeee222d78f92e,
  title = {Uniform Interpolation of Basic Tense Logic},
  author = {Katsuhiko Sano},
  year = {2026},
  doi = {10.4204/eptcs.447.37},
  url = {https://arxiv.org/abs/2606.31887},
  note = {Source identifier: 2606.31887}
}