TY  - RPRT
TI  - Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics
AU  - Vicent Navarro Arroyo
PY  - 2026
UR  - https://arxiv.org/abs/2601.06593
ID  - 2601.06593
ER  -