Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason

arXiv (Cornell University) 2026 Preprint Open access

Read full text
Authors: Jim de Groot, Ian Shillito, Ranald Clouston
DOI: 10.48550/arxiv.2601.03762
Cited by: 0

Abstract

We carry out a semantic study of the constructive modal logic CK. We provide a categorical duality linking the algebraic and birelational semantics of the logic. We then use this to prove Sahlqvist style correspondence and completeness results, as well as a Goldblatt-Thomason style theorem on definability of classes of frames.

Fields of Study & Subjects

Logic Reasoning and Knowledge Advanced Algebra and Logic programming and type systems

Publication details

Journal / source
arXiv (Cornell University)
Publication date
7 January 2026
Document type
Preprint