TY - RPRT TI - Stable Canonical Rules for Intuitionistic Modal Logics AU - Cheng Liao PY - 2026 DO - 10.1016/j.apal.2026.103743 UR - https://arxiv.org/abs/2602.09344 ID - 2602.09344 ER -