Logical connectives for constructive modal logic

Heinrich Wansing

pp. 459-482

in: Torben Brauner, Per V. Hasle, Peter Øhrstrøm (eds), The logic of time and modality, Synthese 150 (3), 2006.

Abstract

Model-theoretic proofs of functional completenes along the lines of [McCullough 1971, Journal of Symbolic Logic 36, 15–20] are given for various constructive modal propositional logics with strong negation.