Repository | Journal | Volume | Article
Logical connectives for constructive modal logic
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
Published in:
Braüner Torben, Hasle Per F. V., Øhrstrøm Peter (2006) The logic of time and modality. Synthese 150 (3).
Pages: 459-482
DOI: 10.1007/s11229-005-5518-5
Full citation:
Wansing Heinrich (2006) „Logical connectives for constructive modal logic“. Synthese 150 (3), 459–482.