Introduces four intuitionistic modal connectives, analyzes definability of frame classes, studies complete axiomatizations, and proves decidability of the minimal logic over all frames.
Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
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
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Four intuitionistic modal connectives
Introduces four intuitionistic modal connectives, analyzes definability of frame classes, studies complete axiomatizations, and proves decidability of the minimal logic over all frames.