@Inproceedings{EPTCS447.37,
  author    = {Sano, Katsuhiko},
  year      = {2026},
  title     = {Uniform Interpolation of Basic Tense Logic},
  editor    = {B\'ilkov\'a, Marta and Gattinger, Malvin and Giessen, Iris van der and Girlando, Marianna and Wang, Yanjing},
  booktitle = {{\rm Proceedings of the Sixteenth International Conference on}
               Advances in Modal Logic,
               {\rm Amsterdam, The Netherlands, 29-06-2026}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {447},
  publisher = {Open Publishing Association},
  pages     = {655-673},
  doi       = {10.4204/EPTCS.447.37},
}