Skip to main content
SpringerLink
Log in

Unifying Quantified Modal Logic

  • 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

  • Corsi, G. (2002) A unified completeness theorem for quantified modal logics, J. Symbolic Logic 67, 1483–1510.

    Google Scholar 

  • Cresswell, M. J. (1991) In defence of the Barcan Formula, Logique et Analyse 135(6), 271–282.

    Google Scholar 

  • Cresswell, M. J. (1995) Incompleteness and the Barcan Formulas, J. Philos. Logic 24, 379–403.

    Article  Google Scholar 

  • Fitting, M. (2004) First order intensional logic, Ann. Pure Appl. Logic 127, 171–193.

    Article  Google Scholar 

  • Fitting, M. and Mendelsohn, R. (1998) First Order Modal Logic, Kluwer, Dordrecht.

    Google Scholar 

  • Gabbay, D. and Guenthner, F. (eds.) (2001) Handbook of Philosophical Logic, Vol. 3, 2nd edn, Kluwer, Dordrecht.

    Google Scholar 

  • Garson, J. (2001) Quantification in modal logic, in Gabbay and Guenthner (2001), pp. 267–323.

  • Hintikka, J. (1970) Existential and uniqueness presuppositions, in Lambert (1970), pp. 20–55.

  • Hughes, G. and Cresswell, M. (1996) A New Introduction to Modal Logic, Routledge, London.

    Google Scholar 

  • Lambert, K. (ed.) (1970) Philosophical Problems in Logic, D. Reidel, Dordrecht.

    Google Scholar 

  • Lambert, K. and van Fraassen, B. (1972) Derivation and Counterexample, Dickenson Publishing Company, New York.

    Google Scholar 

  • Linsky, B. and Zalta, E. (1994) In defense of the simplest quantified modal logic, Philosophical Perspectives 8 (Logic and Language), 431–458.

    Google Scholar 

  • Thomason, R. (1970) Some completeness results for modal predicate calculi, in Lambert (1970), pp. 56–76.

  • Williamson, T. (1998) Bare possibilia, Erkenntnis 48, 257–273.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Houston, USA

    James W. Garson

Authors
  1. James W. Garson
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Garson, J.W. Unifying Quantified Modal Logic. J Philos Logic 34, 621–649 (2005). https://doi.org/10.1007/s10992-005-3664-3

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-005-3664-3

Search

Navigation