We prove Goldblatt-Thomason theorems for frames and models of a wide variety of modal intuitionistic logics, including ones studied by Wolter and Zakharyaschev, Goldblatt, Fischer Servi, and Plotkin and Sterling. We use the framework of dialgebraic logic to describe most of these logics and derive results in a uniform way.
翻译:我们证明了戈德布拉特-托马斯·托马森关于多种模式直觉主义逻辑框架和模型的理论,包括沃尔特和扎赫里亚什切夫、戈德布拉特、塞尔维、皮尔特金和斯特林研究的理论。 我们用拨号逻辑框架来描述大多数这些逻辑,并以统一的方式得出结果。