TY  - RPRT
TI  - Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
AU  - Søren Brinck Knudstorp
PY  - 2026
DO  - 10.1017/jsl.2026.10248
UR  - https://arxiv.org/abs/2510.00864
ID  - 2510.00864
ER  -