References
Corsi, G. (2002) A unified completeness theorem for quantified modal logics, J. Symbolic Logic 67, 1483–1510.
Cresswell, M. J. (1991) In defence of the Barcan Formula, Logique et Analyse 135(6), 271–282.
Cresswell, M. J. (1995) Incompleteness and the Barcan Formulas, J. Philos. Logic 24, 379–403.
Fitting, M. (2004) First order intensional logic, Ann. Pure Appl. Logic 127, 171–193.
Fitting, M. and Mendelsohn, R. (1998) First Order Modal Logic, Kluwer, Dordrecht.
Gabbay, D. and Guenthner, F. (eds.) (2001) Handbook of Philosophical Logic, Vol. 3, 2nd edn, Kluwer, Dordrecht.
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.
Lambert, K. (ed.) (1970) Philosophical Problems in Logic, D. Reidel, Dordrecht.
Lambert, K. and van Fraassen, B. (1972) Derivation and Counterexample, Dickenson Publishing Company, New York.
Linsky, B. and Zalta, E. (1994) In defense of the simplest quantified modal logic, Philosophical Perspectives 8 (Logic and Language), 431–458.
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.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/s10992-005-3664-3