
Publication details
Year: 2006
Pages: 459-482
Series: Synthese
Full citation:
, "Logical connectives for constructive modal logic", Synthese 150 (3), 2006, pp. 459-482.


Logical connectives for constructive modal logic
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.
Publication details
Year: 2006
Pages: 459-482
Series: Synthese
Full citation:
, "Logical connectives for constructive modal logic", Synthese 150 (3), 2006, pp. 459-482.