Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
Logic
2022-06-02 v3 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.2011.10221,
title = {Goldblatt-Thomason Theorems for Modal Intuitionistic Logics},
author = {Jim de Groot},
journal= {arXiv preprint arXiv:2011.10221},
year = {2022}
}