Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Quantified quinean S5

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


  1. Boolos, J. 1979.The Unprovability of Consistency. Cambridge University Press.

  2. Carnap, R. 1937.The Logical Syntax of Language. Routledge and Kegan Paul, Ltd., London.

  3. Gupta, A. 1982. ‘Truth and Paradox.’Journal of Philosophical Logic 11, 1–60.

  4. Kleene, S.C. 1952.Introduction to Metamathematics. North Holland.

  5. Kripke, S. 1963. ‘Semantical Considerations on Modal Logic.’Acta Philosophica Fennica 16, 83–94.

  6. — 1975. ‘Outline of a Theory of Truth.’Journal of Philosophy 72, 690–716.

  7. Lambert, K. 1981. ‘On the Philosophical Foundations of Free Logic.’Inquiry 24, 147–203.

  8. Mates, B. 1965.Elementary Logic. Oxford University Press.

  9. Montague, R. 1963. ‘Syntactical Treatments of Modality, with Corollaries on Reflection Principles and Finite Axiomatizability.’Acta Philosophical Fennica 16, 153–67.

  10. Quine, W.V. 1953. ‘Three Grades of Modal Involvement.’Proceedings of the XIth International Conference of Philosophy, vol 14. North Holland.

  11. Rivieres, J. and Levesque, H. 1986. ‘The Consistency of Syntactical Treatments of Knowledge.’Theoretical Aspects of Reasoning About Knowledge, J. Halpern (ed). Morgan Kaufman.

  12. Schweizer, P. 1987. ‘Necessity Viewed as a Semantical Predicate.’Philosophical Studies 52, 33–47.

  13. — 1989.A Metalinguistic Interpretation of Modality. Doctoral Dissertation, University of California, Irvine.

  14. — 1992. ‘A Syntactical Approach to Modality.’Journal of Philosophical Logic 21, 1–31.

  15. Skyrms, B. 1978. ‘An Immaculate Conception of Modality.’Journal of Philosophy 75, 77–96.

  16. - 1981. ‘Mates Quantification and Intensional Logic.’Australasian Journal of Philosophy 59, no 2.

  17. Smorynski, C. 1985.Self-Reference and Modal Logic. Springer-Verlag.

  18. Smullyan, R.M. 1957. ‘Languages in Which Self-Reference is Possible.’Journal of Symbolic Logic 22, 55–67.

Download references

Author information

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Schweizer, P. Quantified quinean S5. J Philos Logic 22, 589–605 (1993). https://doi.org/10.1007/BF01054037

Download citation