Linked bibliography for the SEP article "Modal Logic" by James Garson
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
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)