Bibliography
CarnapR., ‘Modalities and Quantification’, Journal of Symbolic Logic 11 (1946), 33–64.
Cocchiarella, N., ‘Logical Atomism, Nominalism, and Modal Logic’, forthcoming.
GabbayD., ‘Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications’, Journal of Symbolic Logic 37 (1972), 375–383.
HasenjaegerA., Introduction to Basic Concepts and Problems of Modern Logic, D. Reidel, Dordrecht, Holland, 1972.
KripkeS., ‘A Completeness Theorem in Modal Logic’, Journal of Symbolic Logic 24 (1959), 1–14.
KripkeS., ‘The Undecidability of Monadic Modal Quantification Theory’, Zeitsch. f. math. Logik und Grundlagen d. Math. 8, (1962), 113–116.
Orevkov, V.P., ‘The Undecidability of a Class of Formulas Containing Just One Single Place Predicate Variable in Modal Calculus’, Studies in Constructive Mathematics and Mathematical Logic, New York, 1969, pp. 67–70.
SlomsonA.B., ‘An Undecidable Two Sorted Predicate Calculus’, Journal of Symbolic Logic 34 (1969), 21–23.
CarnapR., Meaning and Necessity, Univ. of Chicago Press, 1947, Chicago.
KangerS., ‘A Note on Quantification and Modalities’, Theoria 23 (1957), 133–134.
BethE., ‘Extension and Intension’, Synthese 12 (1960), 375–379.
Author information
Authors and Affiliations
Additional information
The author was partly supported in the research for this paper by NSF grant GS-38677
Rights and permissions
About this article
Cite this article
Cocchiarella, N.B. On the primary and secondary semantics of logical necessity. J Philos Logic 4, 13–27 (1975). https://doi.org/10.1007/BF00263118
Issue Date:
DOI: https://doi.org/10.1007/BF00263118