Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
Papers in Honor of Rob Goldblatt, Tributes series, College Publications, 2026
Abstract
We connect algebraic and birelational semantics for constructive modal logic CK through a categorical duality, yielding correspondence, completeness and frame-definability results.