Logical connectives for constructive modal logic
pp. 459-482
Résumé
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.
Détails de la publication
Publié dans:
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
Citation complète:
Wansing Heinrich, 2006, Logical connectives for constructive modal logic. Synthese 150 (3), The logic of time and modality, 459-482. https://doi.org/10.1007/s11229-005-5518-5.