2000 character limit reached
Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
Published 7 Jan 2026 in math.LO and cs.LO | (2601.03762v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.