TY - RPRT TI - Goldblatt-Thomason Theorems for Modal Intuitionistic Logics AU - Jim de Groot PY - 2022 UR - https://arxiv.org/abs/2011.10221 ID - 2011.10221 ER -