TY - RPRT TI - Non-finite Axiomatizability of Generalized Medvedev Logics AU - Han Xiao PY - 2026 DO - 10.4204/eptcs.447.43 UR - https://arxiv.org/abs/2606.31893 ID - 2606.31893 ER -