Skip to main content
SpringerLink
Log in

Carnapian extensions of S5

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Carnap, R., ‘Modalities and quantification’, Journal of Symbolic Logic 11 (1946), 33–64.

    Google Scholar 

  2. Carnap, R., ‘Meaning postulates’, Philosophical Studies 3 (1952), 65–73. Reprinted in Carnap [3].

    Google Scholar 

  3. Carnap, R., Meening and Necessity (2nd edition), University of Chicago Press, Chicago, 1956.

    Google Scholar 

  4. Church, A., Introduction to Mathematical Logic, Princeton University Press, Princeton, 1956.

    Google Scholar 

  5. Cocchiarella, N., ‘Logical atomism and Modal Logic’, Philosophia 4 (1974), 41–66.

    Google Scholar 

  6. Cocchiarella, N., ‘On the primary and secondary semantics of logical necessity’, Journal of Philosophical Logic 4 (1975), 13–27.

    Google Scholar 

  7. Feys, R., ‘Carnap on modalities’, in Schilpp, P. A. (ed.) The Philosophy of Rudolf Carnap, Open Court LaSalle, 1963, pp. 283–297.

  8. Hanson, W. H., ‘An alternative semantics for propositional modal Logic’, (Abstract) Journal of Symbolic Logic 39 (1974) 402–403.

    Google Scholar 

  9. Kripke, S. A., ‘A completeness theorem in modal logic’, Journal of Symbolic Logic 24 (1959), 1–14.

    Google Scholar 

  10. Kripke, S. A., ‘Semantical analysis of modal logic 1’, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (1963), 67–96.

    Google Scholar 

  11. Makinson, D., ‘How meaningful are modal operators?’, Australasian Journal of Philosophy 44 (1966), 331–337.

    Google Scholar 

  12. Massey, G. J., ‘The theory of truth tabular connectives, both truth functional and modal’, Journal of Symbolic Logic 31 (1966), 593–608.

    Google Scholar 

  13. Massey, G. J., Understanding Symbolic Logic, Harper, New York, 1970.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. Mendelson, E., Introduction to Mathematical Logic (2nd edition), Van Nostrand, New York, 1979.

    Google Scholar 

  16. Scroggs, S. J., ‘Extensions of the Lewis system S5’, Journal of Symbolic Logic 16 (1951), 112–120.

    Google Scholar 

  17. Thomason, S. K., ‘A new representation of S5’, Notre Dame Journal of Formal Logic 14 (1973), 281–284.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Michigan State University, 48824, East Lansing, MI, USA

    Herbert E. Hendry & M. L. Pokriefka

Authors
  1. Herbert E. Hendry
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. L. Pokriefka
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Thanks are due to an anonymous referee for several helpful suggestions.

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00245990

Search

Navigation