Jim de Groot: Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. AiML 2022: 467-489