TY  - RPRT
TI  - Fine Selection for Intuitionistic Modal Logic
AU  - David Fernández-Duque
PY  - 2026
UR  - https://arxiv.org/abs/2609.27078
ID  - 2609.27078
ER  -