Goldblatt-Thomason Theorems for Modal Intuitionistic Logics

TL;DR

This paper establishes a Goldblatt-Thomason theorem for dialgebraic intuitionistic logics, extending the classical results to a broad class of modal intuitionistic systems and providing a unifying theoretical framework.

Contribution

It introduces a Goldblatt-Thomason theorem for dialgebraic intuitionistic logics and applies it to various existing modal intuitionistic logics, broadening the scope of the classical theorem.

Findings

Proved a Goldblatt-Thomason theorem for dialgebraic intuitionistic logics

Unified several modal intuitionistic logics under this framework

Extended classical results to a wider class of 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.