An excellent bibliography of historical sources can be found in Hughes and Cresswell (1968).

• Anderson, A. and N. Belnap, 1975, 1992, Entailment: The Logic of Relevance and Necessity, vol. 1 (1975), vol. 2 (1992), Princeton: Princeton University Press. (Scholar)
• Barcan (Marcus), R., 1947, “A Functional Calculus of First Order Based on Strict Implication,” Journal of Symbolic Logic, 11: 1-16. (Scholar)
• –––, 1967, “Essentialism in Modal Logic,” Noûs, 1: 91-96. (Scholar)
• –––, 1990, “A Backwards Look at Quine's Animadversions on Modalities,” in R. Bartrett and R. Gibson (eds.), Perspectives on Quine, Cambridge: Blackwell. (Scholar)
• Belnap, N., M. Perloff, and M. Xu, 2001, Facing the Future, New York: Oxford University Press. (Scholar)
• Belnap, N. and T. Müller, 2013a, “CIFOL: A Case Intensional First Order Logic (I): Toward a Logic of Sorts,” Journal of Philosophical Logic, doi: 10.1007/s10992-012-9267-x (Scholar)
• –––, 2013b, “BH-CIFOL: A Case Intensional First Order Logic (II): Branching Histories,” Journal of Philosophical Logic, doi:10.1007/s10992-013-9292-4 (Scholar)
• Bencivenga, E., 1986, “Free Logics,” in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, III.6, Dordrecht: D. Reidel, 373-426. (Scholar)
• Benthem, J. F. van, 1982, The Logic of Time, Dordrecht: D. Reidel. (Scholar)
• –––, 1983, Modal Logic and Classical Logic, Naples: Bibliopolis. (Scholar)
• –––, 2010, Modal Logic for Open Minds, Stanford: CSLI Publications. (Scholar)
• Blackburn, P., with M. de Rijke and Y. Venema, 2001, Modal Logic, Cambridge: Cambridge University Press. (Scholar)
• Blackburn, P., with J. van Bentham and F. Wolter, 2007, Handbook of Modal Logic, Amsterdam: Elsevier. (Scholar)
• Bonevac, D., 1987, Deduction, Part II, Palo Alto: Mayfield Publishing Company. (Scholar)
• Boolos, G., 1993, The Logic of Provability, Cambridge: Cambridge University Press. (Scholar)
• Bressan, A., 1973, A General Interpreted Modal Calculus, New Haven: Yale University Press. (Scholar)
• Bull, R. and K. Segerberg, 1984, “Basic Modal Logic,” in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, II.1, Dordrecht: D. Reidel, 1-88. (Scholar)
• Carnap, R., 1947, Meaning and Necessity, Chicago: U. Chicago Press. (Scholar)
• Carnielli, W. and C. Pizzi, 2008, Modalities and Multimodalities, Heidelberg: Springer-Verlag. (Scholar)
• Chagrov, A. and M. Zakharyaschev, 1997, Modal Logic, Oxford: Oxford University Press. (Scholar)
• Chalmers, D., 1996, The Conscious Mind, New York: Oxford University Press. (Scholar)
• –––, 2002, “The Components of Content”, in D. Chalmers (ed.), Philosophy of Mind: Classical and Contemporary Readings, Oxford: Oxford University Press, 608-633. (Scholar)
• –––, 2006, “The Foundations of Two-Dimensional Semantics”, in M. Garcia-Carpintero and J. Macia, Two-Dimensional Semantics: Foundations and Applications, Oxford: Oxford University Press, 55-140. (Scholar)
• Chellas, B., 1980, Modal Logic: An Introduction, Cambridge: Cambridge University Press. (Scholar)
• Cresswell, M. J., 2001, “Modal Logic”, in L. Goble (ed.), The Blackwell Guide to Philosophical Logic, Oxford: Blackwell, 136-158. (Scholar)
• –––, 1991, “In Defence of the Barcan Formula,” Logique et Analyse, 135-136: 271-282. (Scholar)
• –––, 1995, “Incompleteness and the Barcan formula”, Journal of Philosophical Logic, 24: 379-403. (Scholar)
• Cocchiarella, N. and M. Freund, 2008, Modal Logic An Introduction to its Syntax and Semantics, New York: Oxford. (Scholar)
• Corsi, G., 2002, “A Unified Completeness Theorem for Quantified Modal Logics,” Journal of Symbolic Logic, 67: 1483-1510. (Scholar)
• Crossley, J and L. Humberstone, 1977, “The Logic of ‘Actuality’”, Reports on Mathematical Logic, 8: 11-29. (Scholar)
• Fitting, M. and R. Mendelsohn, 1998, First Order Modal Logic, Dordrecht: Kluwer. (Scholar)
• Gabbay, D., 1976, Investigations in Modal and Tense Logics, Dordrecht: D. Reidel. (Scholar)
• –––, 1994, Temporal Logic: Mathematical Foundations and Computational Aspects, New York: Oxford University Press. (Scholar)
• Garson, J., 2001, “Quantification in Modal Logic,” in D. Gabbay and F. Guenthner (eds.) Handbook of Philosophical Logic, second edition, volume 3, Dordrecht: D. Reidel, 267-323. (Scholar)
• –––, 2005, “Unifying Quantified Modal Logic,” Journal of Philosophical Logic, 34: 621-649. (Scholar)
• –––, 2013, Modal Logic for Philosophers, Second Edition, Cambridge: Cambridge University Press. (Scholar)
• Goldblatt, R., 1993, Mathematics of Modality, CSLI Lecture Notes #43, Chicago: University of Chicago Press. (Scholar)
• –––, 2006, “Mathematical Modal Logic: a View of its Evolution,” in D. Gabbay and J. Woods (eds.), Handbook of the History of Logic, vol. 6, Amsterdam: Elsevier. (Scholar)
• Harel, D., 1984, “Dynamic Logic,” in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, II.10, Dordrecht: D. Reidel, 497-604. (Scholar)
• Hintikka, J., 1962, Knowledge and Belief: An Introduction to the Logic of the Two Notions, Ithaca, NY: Cornell University Press. (Scholar)
• Hilpinen, R., 1971, Deontic Logic: Introductory and Systematic Readings, Dordrecht: D. Reidel. (Scholar)
• Hughes, G. and M. Cresswell, 1968, An Introduction to Modal Logic, London: Methuen. (Scholar)
• –––, 1984, A Companion to Modal Logic, London: Methuen. (Scholar)
• –––, 1996, A New Introduction to Modal Logic, London: Routledge. (Scholar)
• Kaplan, D., 1989, “Demonstratives”, in Themes from Kaplan, Oxford: Oxford University Press. (Scholar)
• Kripke, S., 1963, “Semantical Considerations on Modal Logic,” Acta Philosophica Fennica, 16: 83-94. (Scholar)
• –––, 1980, Naming and Necessity, Cambridge, MA: Harvard University Press. (Scholar)
• Konyndik, K., 1986, Introductory Modal Logic, Notre Dame: University of Notre Dame Press. (Scholar)
• Kvart, I., 1986, A Theory of Counterfactuals, Indianapolis: Hackett Publishing Company. (Scholar)
• Lemmon, E. and D. Scott, 1977, An Introduction to Modal Logic, Oxford: Blackwell. (Scholar)
• Lewis, C.I. and C.H. Langford, 1959 (1932), Symbolic Logic, New York: Dover Publications. (Scholar)
• Lewis, D., 1973, Counterfactuals, Cambridge, MA: Harvard University Press. (Scholar)
• Linsky, B. and E. Zalta, 1994, “In Defense of the Simplest Quantified Modal Logic,” Philosophical Perspectives, (Logic and Language), 8: 431-458. (Scholar)
• Mares, E., 2004, Relevant Logic: A Philosophical Interpretation, Cambridge: Cambridge University Press. (Scholar)
• Mints, G. 1992, A Short Introduction to Modal Logic, Chicago: University of Chicago Press. (Scholar)
• Ponse, A., with M. de Rijke, and Y. Venema, 1995, Modal Logic and Process Algebra, A Bisimulation Perspective, Stanford: CSLI Publications. (Scholar)
• Popkorn, S., 1995, First Steps in Modal Logic, Cambridge: Cambridge University Press. (Scholar)
• Prior, A. N., 1957, Time and Modality, Oxford: Clarendon Press. (Scholar)
• –––, 1967, Past, Present and Future, Oxford: Clarendon Press. (Scholar)
• Quine, W. V. O., 1953, “Reference and Modality”, in From a Logical Point of View, Cambridge, MA: Harvard University Press. 139-159. (Scholar)
• Rescher, N, and A. Urquhart, 1971, Temporal Logic, New York: Springer Verlag. (Scholar)
• Sahlqvist, H., 1975, “Completeness and Correspondence in First and Second Order Semantics for Modal Logic,” in S. Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium, Amsterdam: North Holland. 110-143. (Scholar)
• Thomason, R., 1984, “Combinations of Tense and Modality”, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, II.3, Dordrecht: D. Reidel, 135-165. (Scholar)
• Zeman, J., 1973, Modal Logic, The Lewis-Modal Systems, Oxford: Oxford University Press. (Scholar)