构造模态逻辑的对偶性：从 Sahlqvist 到 Goldblatt-Thomason
逻辑
2026-04-14 v2 计算机科学中的逻辑
摘要
我们对构造模态逻辑 CK 进行语义研究。我们提供了一个联系该逻辑代数语义与二元关系语义的范畴对偶。随后，我们利用这一结果，证明了类似 Sahlqvist 的对应性与完备性结果，以及关于帧类可定义性的 Goldblatt-Thomason 风格定理。
引用
@article{arxiv.2601.03762,
title = {Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason},
author = {Jim de Groot and Ian Shillito and Ranald Clouston},
journal= {arXiv preprint arXiv:2601.03762},
year = {2026}
}