Catalogue > Serials > Journal > Journal Issue > Journal article

Publication details

Year: 2006

Pages: 459-482

Series: Synthese

Full citation:

Heinrich Wansing, "Logical connectives for constructive modal logic", Synthese 150 (3), 2006, pp. 459-482.

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.

Publication details

Year: 2006

Pages: 459-482

Series: Synthese

Full citation:

Heinrich Wansing, "Logical connectives for constructive modal logic", Synthese 150 (3), 2006, pp. 459-482.