{"id":"arxiv/2601.03762","url":"https://arxiv.org/abs/2601.03762","tags":["math.LO","cs.LO"],"score":0,"title":"Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason","domain":"math.LO","source":"arxiv","authors":["Jim de Groot","Ian Shillito","Ranald Clouston"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-07","reactions":{}}