Skip to main content
SpringerLink
Log in

Investigations into quantified modal logic-I

  • Published:
Studia Logica 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. A. R. Anderson andN. D. Belnap, Jr.,Entailment, vol. 1, Princeton, 1975.

  2. A. Bressan,A general interpreted modal calculus, New Haven, 1972.

  3. A. Church,Introduction to mathematical logic, vol. 1, Princeton, 1956.

  4. S. Feferman,Nonrecursiveness of sets of sentences closed under direct product,American Mathematical Society Notices, vol. 6 (1959), pp. 619–620.

    Google Scholar 

  5. M. Fitting,Tableau methods of proof for modal logics,Notre Dame Journal of Formal Logic, vol. 13 (1972), pp. 237–247.

    Google Scholar 

  6. P. R. Halmos,Algebraic logic, I. Monadic Boolean algebras,Compositio Mathematica, vol. 12 (1955), pp. 217–249. Reprinted in [7, pp. 37–72].

    Google Scholar 

  7. P. R. Halmos,Algebraic logic, New York, 1962.

  8. L. Henkin,Completeness of the first-order functional calculus,Journal of Symbolic Logic, vol. 14 (1949), pp. 159–166.

    Google Scholar 

  9. L. Henkin,A generalization of the concept of ω-completeness,Journal of Symbolic Logic, vol. 22 (1957), pp. 1–14.

    Google Scholar 

  10. L. Henkin, J. D. Monk andA. Tarski,Cylindric algebras I, Amsterdam, 1971.

  11. G. E. Hughes andM. J. Cresswell,An introduction to modal logic, London, 1968.

  12. S. Kanger,Provability in logic, Stockholm, 1957.

  13. S. Kripke,A completeness theorem in modal logic,Journal of Symbolic Logic, vol. 24 (1959), pp. 1–14.

    Google Scholar 

  14. S. Kripke,Semantical analysis of modal logic I. Normal propositional calculi,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1966), pp. 67–96.

    Google Scholar 

  15. E. J. Lemmon,Algebraic semantics for modal logic II,Journal of Symbolic Logic, vol. 31 (1966), pp. 191–218.

    Google Scholar 

  16. G. J. Massey,Understanding symbolic logic, New York, 1970.

  17. R. Montague,Pragmatics, inContemporary Philosophy, vol. 1, edited by R. Klibansky, Florence, 1968, pp. 102–122. Reprinted in [18, pp. 95–118].

  18. R. Montague,Formal philosophy, edited by R. H. Thomason. New Haven, 1974.

  19. Z. Parks,Classes and change,Journal of Philosophical Logic, vol. 1 (1972), pp. 162–169.

    Article  Google Scholar 

  20. Z. Parks,Semantics for contingent identity systems,Notre Dame Journal of Formal Logic, vol. 15 (1974), pp. 333–334.

    Google Scholar 

  21. Z. Parks andT. L. Smith,The inadequacy of Hughes and Cresswell's semantics for the CI systems,Notre Dame Journal of Formal Logic, vol. 15 (1974), pp. 331–332.

    Google Scholar 

  22. W. V. Quine,Set theory and its logic, revised edition, Cambridge, Massachusetts, 1969.

  23. W. V. Quine,Methods of logic, revised edition, New York, 1959.

  24. D. Scott,Advice on modal logic, inPhilosophical problems in logics, edited by K. Lambert, Dordrecht, 1970, pp. 143–173.

  25. R. M. Smullyan,First order logic, Berlin, 1968.

  26. R. H. Thomason,Some completeness results for modal predicate calculi, inPhilosophical problems in logic, edited by K. Lambert, Dordrecht, 1970, pp. 56–76.

  27. J. J. Zeman,Modal logic, Oxford, 1973.

Download references

Author information

Authors and Affiliations

  1. University of Wisconsin, Wisconsin, USA

    Zane Parks

Authors
  1. Zane Parks
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This material also appears in my Ph. D. thesisStudies in philosophical logic and its history (University of Pittsburgh). I am heavily indebted to Nuel Belnap. It was from him that I first learned Bressan's system. His (devastating) comments on an earlier version of this paper have lead to substantial revision.

Allatum est die 24 Maii 1975

Rights and permissions

Reprints and permissions

About this article

Cite this article

Parks, Z. Investigations into quantified modal logic-I. Stud Logica 35, 109–125 (1976). https://doi.org/10.1007/BF02120875

Download citation

  • Issue Date:

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

Keywords

Search

Navigation