TY  - RPRT
TI  - Translations between interior preorder structures and coherent neighbourhood systems for intuitionist modal logic
AU  - Aliel Minatti Andrade
AU  - Rogério Augusto dos Santos Fajardo
PY  - 2026
UR  - https://arxiv.org/abs/2608.18947
ID  - 2608.18947
ER  -