Advertisement

Abstract

Modal logic and modal semantics are primarily concerned with the notions of necessity, possibility and related concepts. Their development may in retrospect be seen to have proceeded in several stages. C.I. Lewis [90] on intuitive considerations proposed formal systems of modal propositional logic (MPL) extending standard propositional logic (PL) to include an operator ‘◊’ for possibility and defining the necessity operator as ‘-◊-’, later abbreviated as ‘□’. Alternative notations in common use are ‘M’ and ‘N’.

Keywords

Modal Logic Epistemic Logic Deontic Logic Philosophical Logic Modal Context 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Selective Bibliography

  1. Adams, R.M. [1] Theories of Actuality. Nous 8 (1974): 211–231.CrossRefGoogle Scholar
  2. Anderson, A. [2] The Formal Analysis of Normative Systems. In N. Rescher, Ed., The Logic of Decision and Action. Pittsburgh 1967.Google Scholar
  3. — [3] Some Nasty Problems in the Formal Logic of Ethics. Nous 1 (1967): 345–360.CrossRefGoogle Scholar
  4. Anderson, A., and Belnap, N. [4] Entailment: The Logic of Relevance and Necessity. Princeton 1975.Google Scholar
  5. Åqvist, L. [5] Interpretations of Deontic Logic. Mind 73 (1964): 246–253.CrossRefGoogle Scholar
  6. — [6] Modal Logic with Subjunctive Conditionals. Journal of Philosophical Logic 2 (1973): 1–76.CrossRefGoogle Scholar
  7. Barcan, R. (also see Marcus) [7] A Functional Calculus of First Order Based on Strict Implication. Journal of Symbolic Logic 11 (1946): 1–16.CrossRefGoogle Scholar
  8. — (also see Marcus) [8] The Identity of Individuals in a Strict functiona Calculus of Second Order. Journal of Symbolic Logic 12 (1947): 12–15.CrossRefGoogle Scholar
  9. Belnap, N. [9] See Anderson and Belnap [4].Google Scholar
  10. Bennett, J. [10] Counterfactuals and Possible Worlds. Canadian Journal of Philosophy 4 (1974/5): 381–402.Google Scholar
  11. Blackburn, S. [11] Meaning, Reference and Necessity*. Cambridge 1975.Google Scholar
  12. Boolos, G. [12] The Unprovability of Consistency. Cambridge 1979.Google Scholar
  13. Bowen, K. [13] Normal Modal Model Theory. Journal of Philosophical Logic 4 (1975): 97–131.CrossRefGoogle Scholar
  14. Bressan, A. [14] A General Interpreted Modal Calculus. New Haven 1972.Google Scholar
  15. Bull, R.A. [15] On Modal Logics with Propositional Quantifiers. Journal of Symbolic Logic 34 (1969).Google Scholar
  16. Burge, T. [16] Reference and Proper Names. Journal of Philosophy 70 (1973): 200–209.CrossRefGoogle Scholar
  17. Burks, A.W. [17] The Logic of Causal Propositions. Mind 60 (1951): 363–382.CrossRefGoogle Scholar
  18. — [18] Choice Chance and Reason. Chicago 1977.Google Scholar
  19. Carnap, R. [19] Modalities and Quantification. Journal of Symbolic Logic 11 (1946): 33–64.CrossRefGoogle Scholar
  20. — [20] Meaning and Necessity, 2nd edition. University of Chicago Press, 1956.Google Scholar
  21. Castaneda, H.C. [21] Acts, the Logic of Obligation and Deontic Calculi. Critica 1 (1967): 77–95.Google Scholar
  22. Chisholm, R. [22] Identity Through Possible Worlds. Nous 1 (1967): 1–8.CrossRefGoogle Scholar
  23. Church, A. [23] A Formulation of the Logic of Sense and Denotation. In P. Henle et al., Eds., Structure Method and Meaning*. New York 1951.Google Scholar
  24. Cohen, L.J. [24] The Diversity of Meaning, 2nd edition. Methuen, 1966.Google Scholar
  25. Copi, L, and Gould, J. [25] Contemporary Readings in Logical Theory. Macmillan, 1967.Google Scholar
  26. Cresswell, M.J. [26] See Hughes and Cresswell [69].Google Scholar
  27. Cresswell, M.J. [26] See Hughes and Cresswell, [70].Google Scholar
  28. — [27] Classical Intensional Logics. Theoria 36 (1970).Google Scholar
  29. Cresswell, M.J. [28] Logics and Languages. Methuen, 1973.Google Scholar
  30. — [29] Frames and Models in Modal Logic. In J.N. Crossley, Ed., Algebra and Logic*. Berlin/Heidelberg/New York 1975.Google Scholar
  31. Davidson, D., and Harman, G., Eds. [30] Semantics of Natural Languages*. Reidel, 1972.Google Scholar
  32. — and Harman, G., Eds. [31] The Logic of Grammar*. Dickenson, 1975.Google Scholar
  33. Davis, J.W., Hockney, D.J., and Wilson, WJC. [32] Philosophical Logic*. Reidel, 1969.Google Scholar
  34. Dishkant, H. [33] Imbedding of the Quantum Logic in the Modal System of Brouwei. Journal of Symbolic Logic 42 (1977): 321–328.CrossRefGoogle Scholar
  35. Donnellan, K.S. [34] Reference and Definite Descriptions. Philosophical Review 75 (1966): 284–304.CrossRefGoogle Scholar
  36. — [35] Proper Names and Identifying Description. Synthese 21 (1970): 356–379.CrossRefGoogle Scholar
  37. Dunn, J. [36] A Truth Value Semantics for Modal Logic. In Leblanc [87].Google Scholar
  38. Eberle, R. [37] A Logic of Believing, Knowing and Inferring. Synthese 26 (1973): No. 5.Google Scholar
  39. Evans, G. [38] The Causal Theory of Names. Aristotelian Society, Supplementary Volume XLVII (1973): 187–208.Google Scholar
  40. — and McDowell, J.H. [39] Essays in Semantics. Clarendon, 1975.Google Scholar
  41. Feys, R. [40] Modal Logics, Ed. J. Dopp. Paris: Gauthier-Villars, 1965.Google Scholar
  42. Fine, K. [41] Propositional Quantifiers in Modal Logic. Theoria 35 (1970): 336–46.Google Scholar
  43. — [42] Some Connections Between Elementary and Modal Logic. Proceedings of the Third Scandanavian Logic Symposium Uppsala 1973. North-Holland, 1975.Google Scholar
  44. — and Prior, A. [43] Worlds Times and Selves. Duckworth, 1977.Google Scholar
  45. — and Prior, A. [44] Properties, Propositions, and Sets. Journal of Philosophical Logic 6 (1977): 135–191.CrossRefGoogle Scholar
  46. Fitch, F. [45] A Complete and Consistent Modal Set Theory. Journal of Symbolic Logic 32 (1967): 93–103.CrossRefGoogle Scholar
  47. — [46] A Correlation Between Modal Reduction: Principles and Properties of Relations. Journal of Philosophical Logic 2 (1973): 97–101.CrossRefGoogle Scholar
  48. Fitting, M. [47] An Embedding of Classical Logic in S4. Journal of Symbolic Logic 35 (1970): 529–34.CrossRefGoogle Scholar
  49. Føllesdal, D. [48] Quine on Modality. Synthese 19 (1968/69): 147–157.CrossRefGoogle Scholar
  50. Føllesdal, D. and Hilpinen, R. [49] Deontic Logic: An Introduction. In Hilpinen [61].Google Scholar
  51. French, P., Uehling, T., and Wettstein, H. [50] Contemporary Perspectives in the Philosophy of Language*. University of Minnesota Press, 1978.Google Scholar
  52. Gabbay, D. [51] Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics. Dordrecht 1976.CrossRefGoogle Scholar
  53. Gallin, D. [52] Intensional and Higher Order Modal Logic with Applications to Montague Semantics. Math. Studies 19. North-Holland, 1975.Google Scholar
  54. Gardies, J-L. [53] La Logique du Temps. Paris: Collection SUP, 1975.Google Scholar
  55. Geach, P.T. [54] Logic Matters*. Blackwell, 1972.Google Scholar
  56. Goldblatt, R. [55] Metamathematics of Modal Logic. Reports on Mathematical Logic 6 (1976): 41–47Google Scholar
  57. Goldblatt, R. [55] Metamathematics of Modal Logic. Reports on Mathematical Logic 7 (1976): 21–52.Google Scholar
  58. Haack, S. [56] Deviant Logic. Cambridge University Press, 1975.Google Scholar
  59. — [57] Philosophy of Logics. Cambridge 1978.Google Scholar
  60. Hansson, B. [58] An Analysis of Some Deontic Logics. Nous 4 (1970): 373–398. Reprinted in Hilpinen [61].Google Scholar
  61. Harman, G. [59] Is Modal Logic, Logic? Philosophia 2 (1972): 75–84.CrossRefGoogle Scholar
  62. Harman, G., and Davidson, D. [60] See Davidson and Harman [30].Google Scholar
  63. Harman, G., and Davidson, D. [60] See Davidson and Harman [31].Google Scholar
  64. Hilpinen, R., Ed. [61] Deontic Logic: Introductory and Systematic Readings*. Reidel, 1971.Google Scholar
  65. Hintikka, K.J.J. [62] Knowledge and Belief. Cornell University Press, 1962.Google Scholar
  66. — [63] The Modes of Modality. Acta Philosophica Fennica 16 (1963): 65–82. Reprinted in Linsky [96].Google Scholar
  67. — [64] Individuals, Possible Worlds and Epistemic Logic. Nous 1 (1967): 33–62.CrossRefGoogle Scholar
  68. — [65] Semantics for Propositional Attitudes. In J.W. Davis et al., Ed., Philosophical Logic. Reidel, 1969.Google Scholar
  69. — [66] Models for Modalities*. Reidel, 1970.Google Scholar
  70. — [67] Moravczik, J., and Suppes, P., Eds. Approaches to Natural Languages: Proceedings of the 1970 Stanford Workshop on Grammar and Semantics*. Reidel, 1973.Google Scholar
  71. Hockney, D., Harper, W., and Freed, B. [68] Contemporary Research in Philosophical Logic and Linguistic Semantics*. Reidel, 1975.Google Scholar
  72. Hughes, G., and Cresswell, M.J. [69] An Introduction to Modal Logic. Methuen, 1968.Google Scholar
  73. Hughes, G., and Cresswell, M.J. [70] Omnitemporal Logic and Converging Time. Theoria 41 (1975): 11–34.CrossRefGoogle Scholar
  74. Hughes, G. [71] Omnitemporal Logic and Modal Time. Reports on Mathematical Logic 8 (1977): 41–61.Google Scholar
  75. Kanger, S. [72] Provability in Logic. Stockholm Studies in Philosophy 1. Stockholm, 1957.Google Scholar
  76. — [73] On the Characterization of Modalities. Theoria 23 (1957): 152–55.CrossRefGoogle Scholar
  77. — [74] New Foundations for Ethical Theory. Privately printed, Stockholm 1957. Reprinted in Hilpinen [61].Google Scholar
  78. — [75] Ed., Proceedings of the Third Scandinavian Logic Symposium* 82. Oxford/New York: North-Holland, 1975.Google Scholar
  79. Kaplan, D. [76] Quantifying In. Synthese 19 (1968/69): 178–214.Google Scholar
  80. — [77] Dthat* and On the Logic of Demonstratives. In P. French et al., Ed., Contemporary Perspectives in the Philosophy of Language. University of Minnesota Press, 1978.Google Scholar
  81. Klibansky, R. [78] Contemporary Philosophy I: Logic and Foundations of Mathematics*. La Nuova Italia, 1968.Google Scholar
  82. Korner, S., Ed. [79] Philosophy of Logic*. Blackwell, 1976.Google Scholar
  83. Kripke, S.A. [80] Semantical Analyses of Modal Logic I. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9 (1963): 67– 96.CrossRefGoogle Scholar
  84. — [81] Semantical Considerations on Modal Logic. Acta Philosophica Fennica 16 (1963). Reprinted in Unsky [96].Google Scholar
  85. — [82] Semantical Analysis of Modal Logic II. In J. Addison, L. Henkin and A. Tarski, Eds., The Theory of Models. Amsterdam, 1965.Google Scholar
  86. — [83] Identity and Necessity. In M. Munitz, Ed., Identity and Individuation. New York: New York University Press, 1971. In Munitz [108].Google Scholar
  87. — [84] Naming and Necessity. In D. Davidson and G. Harman, Eds., Semantics of Natural Languages. Reidel, 1972.Google Scholar
  88. — [85] Speakers Reference and Semantic Reference. In P. French et al., Eds., Contemporary Perspectives in Philosophy of Language. University of Minnesota Press, 1978.Google Scholar
  89. Lambert, K., Ed., [86] Philosophical Problems in Logic*. Reidel, 1970.Google Scholar
  90. Leblanc, H., Ed. [87] Truth, Syntax and Modality*. North-Holland, 1973.Google Scholar
  91. Lemmon, E. [88] Algebraic Semantics for Modal Logics. Journal of Symbolic Logical (1966): 46–65.Google Scholar
  92. Lemmon, E. [88] Algebraic Semantics for Modal Logics. Journal of Symbolic Logical (1966): 191–218.Google Scholar
  93. — [89] An Introduction to Modal Logic, in collaboration with D. Scott and edited by K. Segerberg. Oxford 1977.Google Scholar
  94. Lewis, C.I, and Langford, C.H. [90] Symbolic Logic, 1st edition, New York, 1932.Google Scholar
  95. Lewis, C.I, and Langford, C.H. [90] Symbolic Logic, 2nd edition, Dover, 1959.Google Scholar
  96. Lewis, D. [91] Counterpart Theory and Quantified Modal Logic. Journal of Philosophy 65 (1968): 113–126.CrossRefGoogle Scholar
  97. — [92] General Semantics. Synthese 22 (1970/71): 18–67.CrossRefGoogle Scholar
  98. — [93] Counterfactuals. Blackwells, 1973.Google Scholar
  99. — [94] Counterfactuals and Comparative Possibility. Journal of Philosophical Logic 4 (1973): 418–446.Google Scholar
  100. Linsky, L. [95] Reference, Essentialism and Modality. Journal of Philosophy 66 (1969): 687–700. Reprinted in Linsky [96].CrossRefGoogle Scholar
  101. — [96] Reference and Modality*. Oxford University Press, 1971.Google Scholar
  102. Makinson, D. [97] On Some Completeness Theorems in Modal Logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 12 (1966): 379–84.CrossRefGoogle Scholar
  103. Marcus, R. Barcan (also see Barcan) [98] Modalities and Intensional Languages. Synthese 13 (1961): 303–322. Reprinted Wartofsky [149], and Copi and Gould [25].CrossRefGoogle Scholar
  104. — (also see Barcan) [99] Essentialism in Modal Logic. Nous 1 (1967).Google Scholar
  105. — (also see R. Barcan) [100] Modal Logic. In Klibansky [78],1968.Google Scholar
  106. — (also see R. Barcan) [101] Essential Attribution. Journal of Philosophy 68 (1971).Google Scholar
  107. — [102] Dispensing with Possibilia. In Proceedings of the American Philosophical Association of 1976, 1977. Newark, Delaware.Google Scholar
  108. Meyer, R.K. [103] Coherence in Modal Logics. Logique et Analyse 14 (1971): 658–68.Google Scholar
  109. Montague, R. [104] Syntactical Treatments of Modality. Acta Philosophica Fennica 16 (1963): 153–168.Google Scholar
  110. — [105] Pragmatics. In Klibansky [78],1968.Google Scholar
  111. — [106] Pragmatics and Intensional Logic. Synthese 22 (1970/71): 68–94. Reprinted in Davidson and Harman [30].CrossRefGoogle Scholar
  112. — [107] Formal Philosophy*. Ed. R.H. Thomason [139]. Yale, 1974.Google Scholar
  113. Munitz, M.R., Ed. [108] Identity and Individuation*. New York University Press, 1971.Google Scholar
  114. — Ed. [109] Logic and Ontology. New York University Press, 1973.Google Scholar
  115. Olson, R., and Paul, A. [110] Contemporary Philosophy in Scandinavia*. Baltimore/London, 1972.Google Scholar
  116. Parsons, T. [111] Grades of Essentialism in Quantified Modal Logic. Nous 1 (1967): 181–191.CrossRefGoogle Scholar
  117. — [112] Essentialism in Quantified Modal Logic. Philosophical Review 78 (1969): 35–52. Reprinted in Linsky [96].CrossRefGoogle Scholar
  118. Peacocke, C. [113] Proper Names, Reference and Rigid Designation. In S. Blackburn, Ed., Meaning Reference and Necessity, Cambridge 1975.Google Scholar
  119. Plantinga, A. [114] The Nature of Necessity. Clarendon, 1974.Google Scholar
  120. Pollock, J.L. [115] Basic Modal Logic. Journal of Symbolic Logic 32 (1967): 355–365.CrossRefGoogle Scholar
  121. — [116] Logical Validity in Modal Logic. Monist 51 (1967): 128–135.Google Scholar
  122. Prior, A. [117] Formal Logic, 2nd edition. Oxford University Press, 1962.Google Scholar
  123. — [118] Past Present and Future. Oxford University Press, 1967.Google Scholar
  124. — [119] Papers on Time and Tense*. Oxford 1968.Google Scholar
  125. — [120] Objects of Thought. Eds. P. Geach and A. Kenney. Oxford University Press, 1971.CrossRefGoogle Scholar
  126. — and Fine, K. [121] Worlds, Times and Selves. Duckworth, 1977.Google Scholar
  127. Putnam, H. [122] Mathematics without Foundations. Journal of Philosophy 64 (1967): 5–22.CrossRefGoogle Scholar
  128. — [123] Is Semantics Possible? Metaphilosophy 1 (1970): 50–63.Google Scholar
  129. — [124] Meaning and Reference. Journal of Philosophy 70 (1973): 187–201.CrossRefGoogle Scholar
  130. Quine, W.V. [125] From a Logical Point of View, revised. Harvard Press, 1961.Google Scholar
  131. — [126] The Ways of Paradox and other Essays. Columbia, 1966.Google Scholar
  132. Rescher, N. [127] A Theory of Possibility. Blackwell, 1975.Google Scholar
  133. — and Urquhart, A. [128] Temporal Logic. Springer, 1971.Google Scholar
  134. Schumm, G. [129] Solutions to Four Modal Problems of Sobocinski. Notre Dame Journal of Formal Logic 13 (1971): 335–340.CrossRefGoogle Scholar
  135. Schutte, K. [130] Vollständige Systeme modaler und intuitionistischer Logik. Berlin/Heidelberg/New York 1968.Google Scholar
  136. Segerberg, K. [131] An Essay in Classical Modal Logic. Uppsala 1971.Google Scholar
  137. Sobocinski, B. [132] Certain Extensions of Modal System S4. Notre Dame Journal of Formal Logic 11, 3 (1970): 347–368.CrossRefGoogle Scholar
  138. —, A New Class of Modal Systems. Ibid. (1971): 371–377.CrossRefGoogle Scholar
  139. Solovay, R. [133] Provability Interpretations of Modal Logic. Israel Journal of Mathematics 25 (1976): 287 304.CrossRefGoogle Scholar
  140. Stalnaker, R. [134] Theory of Conditionals. In N. Rescher, Ed., Studies in Logical Theory. American Philosophical Quarterly Monograph. Blackwell, 1968.Google Scholar
  141. — [135] Anti-essentialism. In P. French et al., Eds., Midwest Studies in Philosophy IV, Studies in Metaphysics, 1979.Google Scholar
  142. — and Thomason, R.H. [136] A Semantic Analysis of Conditional Logic. Theoria 36 (1970): 23–42.CrossRefGoogle Scholar
  143. Stenlund, S. [137] Logical Theory and Semantic Analysis. Reidel, 1974.CrossRefGoogle Scholar
  144. Thomason, R.H., and Stalnaker, R. [138] Modality and Reference. Nous 2 (1968): 359–372.CrossRefGoogle Scholar
  145. — [139] Modal Logic and Metaphysics. In K. Lambert, Ed., The Logical Way of Doing Things. Yale, 1969.Google Scholar
  146. — [140] Semantic Analysis of Tense Logic. Journal of Symbolic Logic 37 (1972): 150–159.CrossRefGoogle Scholar
  147. — [141]. Ed. Formal Philosophy: Selected Papers of Richard Montague. Yale, 1974.Google Scholar
  148. Thomason, S. [142] Reduction of Tense Logic to Modal Logic I. Journal of Symbolic Logic 39 (1974): 549–51.CrossRefGoogle Scholar
  149. Van Bentham, J. [143] Modal Reduction Principles. Journal of Symbolic Logical (1976): 301–312.Google Scholar
  150. von Wright, G.H. [144] An Essay in Modal Logic. North-Holland, 1951.Google Scholar
  151. — [145] Norm and Action. Routledge and Kegan Paul, 1963.Google Scholar
  152. — [146] An Essay in Deontic Logic and the General Theory of Action. Acta Philosophica Fennica 21. North-Holland, 1968.Google Scholar
  153. — [147] The Logic of Practical Discourse. In Klibansky [78], 1968.Google Scholar
  154. — [148] On the Logic and Ontology of Norms. In J.W. Davis et al. [32], 1969.Google Scholar
  155. Wartofsky, M. [149] Boston Studies in Philosophy of Science Reidel, 1962.Google Scholar
  156. Weaver, G. [150] Logical Consequence in Modal Logic. In Leblanc [87].Google Scholar
  157. Wiggins, D. [151] Identity, Designation, Essentialism and Physicalism. Philosophia 5 (1975): 1–30.CrossRefGoogle Scholar
  158. Woolhouse, R.S. [152] Tensed Modalities. Journal of Philosophical Logic 2 (1973): 393–415.CrossRefGoogle Scholar
  159. Zeman, J. [153] Modal Logic: The Lewis-Modal Systems. Oxford 1973.Google Scholar

Copyright information

© Martinus Nijhoff Publishers, Dordrecht 1981

Authors and Affiliations

  • Ruth Barcan Marcus
    • 1
  1. 1.Yale UniversityUSA

Personalised recommendations