1 paper · 2 filters
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…