Goldblatt-Thomason Theorems for Modal Intuitionistic Logics

Abstract

We prove a Goldblatt-Thomason theorem for dialgebraic intuitionistic logics, and instantiate it to Goldblatt-Thomason theorems for a wide variety of modal intuitionistic logics from the literature.