Ruth Barcan Marcus on the Deduction Theorem in Modal Logic

References

• Barcan, R. C. 1946a. ‘A functional calculus of first order based on strict implication’, Journal of Symbolic Logic, 11 (1), 1–16.
   Google Scholar
• Barcan, R. C. 1946b. ‘The deduction theorem in a functional calculus of first order based on strict implication’, Journal of Symbolic Logic, 11 (4), 115–118.
   Google Scholar
• Burgess, J. P. 2014. ‘On a derivation of the necessity of identity’, Synthese, 191 (7), 1567–1585.
   Web of Science ®Google Scholar
• Carnap, R. 1946. ‘Modalities and quantification’, Journal of Symbolic Logic, 11 (2), 33–64.
   Google Scholar
• Chagrov, A., and Zakharyaschev, M. 1997. Modal Logic, Oxford: Clarendon Press.
   Google Scholar
• Craig, W. 1953. ‘On axiomatizability within a system’, Journal of Symbolic Logic, 18 (1), 30–32.
   Google Scholar
• Dosen, K. 1996. ‘Deductive completeness’, The Bulletin of Symbolic Logic, 2 (3), 243–283.
   Web of Science ®Google Scholar
• Feferman, S., Dawson, J. W., Kleene, S. C., Moore, G. H., Solovay, R. M., and van Heijenoort., J. (eds.), 1986. Kurt Gödel. Collected Works, Vol. 1: Publications 1929–1936, Oxford: Oxford University Press.
   Google Scholar
• Feys, R. 1965. Modal Logic, Louvain: E. Nauwelaerts.
   Google Scholar
• Franks, C. 2021. ‘The deduction theorem (before and after Herbrand)’, History and Philosophy of Logic, 42 (2), 129–159.
   Web of Science ®Google Scholar
• Ganguli, S., and Nerode, A. 2004. ‘Effective completeness theorems for modal logic’, Annals of Pure and Applied Logic, 128 (1-3), 141–195.
   Web of Science ®Google Scholar
• Gödel, K. 1933. ‘Eine Interpretation des intuitionistischen Aussagenkalküls’, Ergebnisse eines Mathematischen Kolloquiums, 4, 39–40. Translated with an introductory note by A.S. Troelstra as ‘An interpretation of the intuitionistic propositional calculus’ in Feferman et alia 1986, pp. 296–303.
   Google Scholar
• Hakli, R., and Negri, S. 2012. ‘Does the deduction theorem fail for modal logic?’, Synthese, 187 (3), 849–867.
   Web of Science ®Google Scholar
• Halldén, S. 1951. ‘On the semantic non-completeness of certain Lewis calculi’, Journal of Symbolic Logic, 16 (2), 127–129.
   Google Scholar
• Hughes, G. E., and Cresswell, M. J. 1996. A New Introduction to Modal Logic, London and New York: Routledge.
   Google Scholar
• Iemhoff, R. 2016. ‘Consequence Relations and Admissible Rules’, Journal of Philosophical Logic, 45 (3), 327–348.
   Web of Science ®Google Scholar
• Kennedy, J. 2022. ‘Kurt Gödel’, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, https://plato.stanford.edu/archives/win2020/entries/goedel/.
   Google Scholar
• Kripke, S. 1965. ‘Semantical analysis of modal logic II. Non-normal modal propositional calculi’, in J. W. Addison, L. Henkin, and A. Tarski (eds.), Symposium on the Theory of Models, Amsterdam: North-Holland, pp. 206–220.
   Google Scholar
• Lemmon, E. J. 1957. ‘New foundations for Lewis modal systems’, Journal of Symbolic Logic, 22 (2), 176–186.
   Google Scholar
• Lemmon, E. J. 1977. The ‘Lemmon Notes’. An Introduction to Modal Logic, American Philosophical Quarterly Monograph Series 11, in collaboration with Dana Scott, K. Segerberg (ed.), Oxford: Basil Blackwell.
   Google Scholar
• Lewis, C. I. 1918. A Survey of Symbolic Logic, Berkeley: University of California Press.
   Google Scholar
• Lewis, C. I., and Langford, C. H. 1932. Symbolic Logic, London: Century. 2nd edition 1959, New York: Dover.
   Google Scholar
• Marcus, R. B. 1953. ‘Strict implication, deducibility and the deduction theorem’, Journal of Symbolic Logic, 18 (3), 234–236. . Reprinted with revisions in Marcus 1993, pp. 71–73.
   Google Scholar
• Marcus, R. B. 1971. ‘Essential attribution’, The Journal of Philosophy, 68 (7), 187–202. Reprinted with revisions in Marcus 1993, pp. 53–70.
   Google Scholar
• Marcus, R. B. 1993. Modalities: Philosophical Essays, New York: Oxford University Press.
   Google Scholar
• Martin, N. M. 1960. ‘Deduction and strict implication’, Synthese, 12 (1), 25–33.
   Google Scholar
• Parry, W. T. 1934. ‘The postulates for “strict implication”’, Mind, 43 (169), 78–80.
   Google Scholar
• Prior, A. N. 1956. ‘Modality and quantification in S5’, Journal of Symbolic Logic, 21 (1), 60–62.
   Google Scholar
• Quine, W. V. 1946. ‘Review of “A functional calculus of first order based on strict implication” by Ruth C. Barcan’, Journal of Symbolic Logic, 11 (3), 96–97.
   Google Scholar
• Quine, W. V. 1947. ‘Review of “The deduction theorem in a functional calculus of first order based on strict implication” by Ruth C. Barcan’, Journal of Symbolic Logic, 12 (3), 95.
   Google Scholar
• Satre, T. W. 1972. ‘Natural deduction rules for modal logic’, Notre Dame Journal of Formal Logic, 13 (4), 461–475.
   Google Scholar
• Smorynski, C. 1984. ‘Modal logic and self-reference’, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Volume II, Dordrecht: Kluwer, pp. 441–495.
   Google Scholar
• Sundholm, G. 1983. ‘Systems of deduction’, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Volume I, Dordrecht: Kluwer, pp. 133–188.
   Google Scholar
• Surma, S. J. 1972. ‘The deduction theorems valid in certain fragments of the Lewis’ system S2 and the system T of Feys–Von Wright', Studia Logica, 31, 127–136.
   Google Scholar
• Tarski, A., and McKinsey, J. C. C. 1948. ‘Some theorems about the sentential calculi of Lewis and Heyting’, Journal of Symbolic Logic, 13 (1), 1–15.
   Google Scholar
• Zeman, J. J. 1973. Modal Logic. The Lewis-Modal Systems, Oxford: Clarendon Press.
   Google Scholar