The Journal of Symbolic Logic, Volume 13

Volume 13, Number 1, March 1948

• J. C. C. McKinsey, Alfred Tarski: Some Theorems About the Sentential Calculi of Lewis and Heyting. 1-15
• John G. Kemeny: Models of Logical Systems. 16-30
• Arthur Francis Smullyan: Modality and Description. 31-37
• Frederic Brenton Fitch: Corrections to Two Papers on Modal Logic. 38-39
• Max Black: Tenth Meeting of the Association for Symbolic Logic. 61-64

Volume 13, Number 2, June 1948

• Paul Bernays: A System of Axiomatic Set Theory--Part VI. 65-79
• Alan M. Turing: Practical Forms of Type Theory. 80-94
• Frederic Brenton Fitch: An Extension of Basic Logic. 95-106
• Alfred Tarski: A Problem Concerning the Notion of Definability. 107-111

Volume 13, Number 3, September 1948

• Hao Wang: A New Theory of Element and Number. 129-137
• Soren Hallden: A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1. 138-139
• Gustav Bergmann: Contextual Definitions in Nonextensional Languages. 140

Volume 13, Number 4, December 1948

• J. Barkley Rosser, Atwell R. Turquette: Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility. 177-192
• Irving M. Copilowish: Matrix Development of the Calculus of Relations. 193-203
• Andrzej Mostowski: Proofs of Non-Deducibility in Intuitionistic Functional Calculus. 204-207