Goldblatt-Thomason Theorems for Modal Intuitionistic Logics

2020/11/20 by de Groot, Jim · 2 citations
#FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.2011.10221

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.

Cited by

• Filling in the semantics for intuitionistic conditional logic
• Intuitionistic monotone modal logic via translation

Related

• Goldblat-Thomason Theorems for Fundamental (Modal) Logic
• Goldblatt-Thomason for LE-logics
• Intuitionistic modal logics: a minimal setting
• Collapsing Constructive and Intuitionistic Modal Logics
• Definable Classes of Models and Frames in Bi-intuitionistic Logic