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

Jim de Groot, Ian Shillito, Ranald Clouston

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 t…