论文标题
模态直觉逻辑的Goldblatt-Thomason定理
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
论文作者
论文摘要
我们证明了Dialgebraic直觉逻辑的Goldblatt-Thomason Therorem，并将其实例化与Goldblatt-Thomason定理有关文献中各种模态直觉逻辑。
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.
