@misc{indiciae45068185ab20,
  title = {Translations between interior preorder structures and coherent neighbourhood systems for intuitionist modal logic},
  author = {Aliel Minatti Andrade and Rogério Augusto dos Santos Fajardo},
  year = {2026},
  url = {https://arxiv.org/abs/2608.18947},
  note = {Source identifier: 2608.18947}
}