Texts on modal logic with philosophers in mind include Hughes and Cresswell (1968, 1984, 1996), Chellas (1980), Fitting and Mendelsohn (1998), Garson (2013), Girle (2009), and Humberstone (2015).

Humberstone (2015) provides a superb guide to the literature on modal logics and their applications to philosophy. The bibliography (of over a thousand entries) provides an invaluable resource for all the major topics, including logics of tense, obligation, belief, knowledge, agency and nomic necessity.

Gabbay and Guenthner (2001) provides useful summary articles on major topics, while Blackburn et. al. (2007) is an invaluable resource from a more advanced perspective.

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

• Aloni, M., 2005, “Individual Concepts in Modal Predicate Logic,” Journal of Philosophical Logic, 34: 1–64. (Scholar)
• 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)
• –––, 2011, Logical Dynamics of Information and Interaction, Cambridge: Cambridge University Press. (Scholar)
• –––, 2014, Logic in Games, Cambridge, Mass: MIT Press. (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)
• Deutsch, H., 1990, “Contingency and Modal Logic,” Philosophical Studies, 60: 89–102. (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)
• Gabbay, D. and F. Guenthner, F. (eds.), 2001, Handbook of Philosophical Logic, second edition, volume 3, Dordrecht: D. Reidel, (Scholar)
• Garson, J., 2001, “Quantification in Modal Logic,” in Gabbay and Guenthner (2001), 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)
• Girle, R., 2009, Modal Logics and Philosophy (2nd Edition), Routledge, New York, New York. (Scholar)
• Grim, P., Mar, G, and St. Denis, P., 1998, The Philosophical Computer, Cambridge, Mass.: MIT 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)
• Hayaki, R., 2006, “Contingent Objects and the Barcan Formula,” Erkenntnis, 64: 75–83. (Scholar)
• Hintikka, J., 1962, Knowledge and Belief: An Introduction to the Logic of the Two Notions, Ithaca, NY: Cornell University Press. (Scholar)
• –––, 1983, The Game of Language, Dordrecht: D. Reidel. (Scholar)
• Hilpinen, R., 1971, Deontic Logic: Introductory and Systematic Readings, Dordrecht: D. Reidel. (Scholar)
• van der Hoek, W. and Pauly, M., 2007, “Model Logics for Games and Information,” Chapter 20 of Blackburn et. al., 2007. (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)
• Humberstone, L. 2015, Philosophical Applications of Modal Logic, College Publications, London. (Scholar)
• Johannesson, E., 2018, “Partial Semantics for Quantified Modal Logics,” Journal of Philosophical Logic, 1–12. (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, Mass.: Harvard University Press. (Scholar)
• –––, 2017, “Quantified Modality and Essentialism,” Nous, 51, #2: 221–234. (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, Mass.: 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)
• Menzel, C., 2020, “In Defense of the Possibilism–Actualism Distinction,” Philosophical Studies, 177(7): 1971–1997. doi:10.1007/s11098-019-01294-0
• 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)
• Pavone, L., 2018, “Plantinga’s Haecceitism and Simplest Quantified Modal Logic,” Logic and Logical Philosophy, 27: 151–160. (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, Mass.: 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)
• Stalnaker, R., 1968, “A Theory of Conditionals,”, in N. Rescher (ed.), Studies in Logical Theory, Oxford: Blackwell, 98–112. (Scholar)
• Stephanou, Y., 2002, “Investigations into Quantified Modal Logic,” Notre Dame Journal of Formal Logic, 43, #4: 193–220. (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)
• Williamson, T., 2013, Modal Logic as Metaphysics, Oxford: Oxford University Press. (Scholar)
• Zeman, J., 1973, Modal Logic, The Lewis-Modal Systems, Oxford: Oxford University Press. (Scholar)