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.

References in corpus (2)

• Constructive Modalities with Provability Smack
• Goldblatt-Thomason for LE-logics