References
Carnap, R., ‘Modalities and quantification’, Journal of Symbolic Logic 11 (1946), 33–64.
Carnap, R., ‘Meaning postulates’, Philosophical Studies 3 (1952), 65–73. Reprinted in Carnap [3].
Carnap, R., Meening and Necessity (2nd edition), University of Chicago Press, Chicago, 1956.
Church, A., Introduction to Mathematical Logic, Princeton University Press, Princeton, 1956.
Cocchiarella, N., ‘Logical atomism and Modal Logic’, Philosophia 4 (1974), 41–66.
Cocchiarella, N., ‘On the primary and secondary semantics of logical necessity’, Journal of Philosophical Logic 4 (1975), 13–27.
Feys, R., ‘Carnap on modalities’, in Schilpp, P. A. (ed.) The Philosophy of Rudolf Carnap, Open Court LaSalle, 1963, pp. 283–297.
Hanson, W. H., ‘An alternative semantics for propositional modal Logic’, (Abstract) Journal of Symbolic Logic 39 (1974) 402–403.
Kripke, S. A., ‘A completeness theorem in modal logic’, Journal of Symbolic Logic 24 (1959), 1–14.
Kripke, S. A., ‘Semantical analysis of modal logic 1’, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (1963), 67–96.
Makinson, D., ‘How meaningful are modal operators?’, Australasian Journal of Philosophy 44 (1966), 331–337.
Massey, G. J., ‘The theory of truth tabular connectives, both truth functional and modal’, Journal of Symbolic Logic 31 (1966), 593–608.
Massey, G. J., Understanding Symbolic Logic, Harper, New York, 1970.
McKinsey, J. C. C. and Tarski, A., ‘Some theorems about the sentential calculi of Lewis and Heyting’, Journal of Symbolic Logic 13 (1948), 1–15.
Mendelson, E., Introduction to Mathematical Logic (2nd edition), Van Nostrand, New York, 1979.
Scroggs, S. J., ‘Extensions of the Lewis system S5’, Journal of Symbolic Logic 16 (1951), 112–120.
Thomason, S. K., ‘A new representation of S5’, Notre Dame Journal of Formal Logic 14 (1973), 281–284.
Author information
Authors and Affiliations
Additional information
Thanks are due to an anonymous referee for several helpful suggestions.
Rights and permissions
About this article
Cite this article
Hendry, H.E., Pokriefka, M.L. Carnapian extensions of S5. J Philos Logic 14, 111–128 (1985). https://doi.org/10.1007/BF00245990
Issue Date:
DOI: https://doi.org/10.1007/BF00245990