Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
Jim de Groot
所有作者
Jim de Groot
文献摘要
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.