Skip to main content
SpringerLink
Log in

Basic Modal Logic

Historical Part

  • Chapter
Handbook of Philosophical Logic

Part of the book series: Handbook of Philosophical Logic ((HALO,volume 3))

Abstract

It is popular practice to borrow metaphors between different fields of thought. When it comes to evaluating modal logic it is tempting to borrow from the anthropologists who seem to agree that our civilisation has lived through two great waves of change in the past, the Agricultural Revolution and the Industrial Revolution. Where we stand today, where the world is going, is difficult to say. If there is a deeper pattern fitting all that is happening today, then many of us do not see it. All we know, really, is that history is pushing on.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. W. Ackerman. Begründung einer strengen Implikation. Journal of Symbolic Logic, 21, 113–128 1956.

    Google Scholar 

  2. M. J. Alban. Independence of the primitive symbols of Lewis’ calculi of propositions. Journal of Symbolic Logic, 8, 24–26 1943.

    Google Scholar 

  3. A. R. Anderson and N. D. Belnap. Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton University Press, Princeton, 1975.

    Google Scholar 

  4. C. A. Anderson. Some axioms for the logic of sense and denotation: alternative (0). Nous, 14, 217–234 1980.

    Google Scholar 

  5. A. Bayart. Quasi-adéquation de la logique modale du second ordre S5 et atéquation de la logique du premier ordre S5. Logique et analyse, 2, 99–121 1959.

    Google Scholar 

  6. O. Becker. Zur Logik der Modalitäten. Jarbuch für Philosophie und phänonenologische Forschung, 11, 496–548 1930.

    Google Scholar 

  7. N. D. Belnap. Modal and relevance logics: 1977. In Modern Logic—A Survey, E. Agazzi, ed. pp. 131–151. Reidel, Dordrecht, 1981.

    Google Scholar 

  8. E. W. Beth. The Foundations of Mathematics: A Study in the Philosophy of Science. North-Holland, Amsterdam, 1959.

    Google Scholar 

  9. W. J. Blok. The lattice of modal algebras: an algebraic investigation. Journal of Symbolic Logic, 45, 221–236 1980.

    Google Scholar 

  10. W. J. Blok. Pretabular varieties of modal algebras. Studia Logica, 39, 101–124 1980.

    Google Scholar 

  11. G. Boolos. The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press, Cambridge, 1979.

    Google Scholar 

  12. K. A. Bowen. Model Theory for Modal Logic. Reidel, Dordrecht, 1978.

    Google Scholar 

  13. R.A. Bull. An algebraic study of Diodoreanmodal systems. Journal of Symbolic Logic, 30, 58–64 1965.

    Google Scholar 

  14. R. A. Bull. A modal extension of intuitionistic logic. Notre Dame Journal of Formal Logic, 6, 142–146 1965.

    Google Scholar 

  15. R. A. Bull. That all normal extensions of S4.3 have the finite model property. Zeit Math. Logik Grund., 12, 341–344 1966.

    Google Scholar 

  16. R. A. Bull. MIPC as the formalisation of an intuitionist concept of modality. Journal of Symbolic Logic, 31, 609–616 1966.

    Google Scholar 

  17. R. A. Bull. On the extension of S4 with CLMpMLp. Notre Dame Journal of Formal Logic, 8, 325–329 1967.

    Google Scholar 

  18. R. A. Bull. On modal logic with propositional quantifiers. Journal of Symbolic Logic, 34, 257–263 1969.

    Google Scholar 

  19. R. A. Bull. Review. Journal of Symbolic Logic, 47, 440–445 1982.

    Google Scholar 

  20. R. A. Bull. Review. Journal of Symbolic Logic, 48, 488–495 1983.

    Google Scholar 

  21. R. Carnap. Introduction to Semantics. Harvard University Press, Cambridge, MA, 1942.

    Google Scholar 

  22. R. Carnap. Meaning and Necessity: A Study in Semantics and Modal Logic. The University of Chicago Press, Chicago, 1947.

    Google Scholar 

  23. B. F. Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.

    Google Scholar 

  24. A. Church. A formulation of the logic of sense and denotation. Abstract. Journal of Symbolic Logic, 11, 31, 1946.

    Google Scholar 

  25. A. Church. A formulation of the logic of sense and denotation. In Structure, Method and Meaning. Essays in Honor of Henry M. Scheffer, P. Henle et al., eds. pp. 3–24. the Liberal Arts Press, NY, 1951.

    Google Scholar 

  26. A. Church. The weak theory of implication. In Kontrolliertes Denken: Untesuchungen zum Logikkalkül under der Einzelwissenschaften, Menne et al., eds. pp. 22–37. Kommissions-Verlag Karl Alber, Munich, 1951.

    Google Scholar 

  27. A. Church. Outline of a revised formulation of the logic of sense and denotation. Nous, 7, 24–33;

    Google Scholar 

  28. A. Church. Outline of a revised formulation of the logic of sense and denotation. Nous, 8, 135–156 1973–74.

    Google Scholar 

  29. M. Cresswell. A Henkin completeness theorem for T . Notre Dame Journal of Formal Logic, 8, 186–190 1967.

    Google Scholar 

  30. E. M. Curley. The development of Lewis’ theory of strict implication. Notre Dame Journal of Formal Logic, 16, 517–527 1975.

    Google Scholar 

  31. H. B. Curry. A Theory of Formal Deducibility. University of Notre Dame Press, Notre Dame, IN, 1950.

    Google Scholar 

  32. J. Dugundj. Note on a property of matrices for Lewis and Langford’s calculi of propositions. Journal of Symbolic Logic, 5, 150–151 1940.

    Google Scholar 

  33. M. A. E. Dummett and E. J. Lemmon. Modal logics between S4 and S5. Zeit Math. Logik. Grund., 3, 250–264 1959.

    Google Scholar 

  34. L. Esakia and V. Meskhi. Five critical modal systems. Theoria, 43, 52–60 1977.

    Google Scholar 

  35. R. Feys. Modal Logics. Edited with some complements by Joseph Dopp, E. Nauwelaerts, Louvainand Gauthier-Vallars, Paris, 1965.

    Google Scholar 

  36. K. Fine. Propositional quantifers in modal logic. Theoria, 36, 336–346 1970.

    Google Scholar 

  37. K. Fine. The logics containing S4.3. Zeit. Math. Logik. Grund., 17, 371–376, 1971.

    Google Scholar 

  38. K. Fine. Logics containing S4 without the finite model property. In Conference in Mathematical Logic, London 1970, W. Hodges, ed. pp. 88–102. Vol. 255 Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1972.

    Google Scholar 

  39. K. Fine. An incomplete logic containing S4. Theoria, 40, 23–29 1974.

    Google Scholar 

  40. K. Fine. An ascending chain of S4 logics. Theoria, 40, 110–116 1974.

    Google Scholar 

  41. K. Fine. Logics containing K4, Part I. Journal of Symbolic Logic, 39, 31–42, 1974.

    Google Scholar 

  42. K. Fine. Some connections between elementary and modal logic. In Proceedings of the Third Scandinavian Logic Symposium, S. Kanger, ed. pp. 15–31. NorthHollnd, Amsterdam, 1975.

    Google Scholar 

  43. K. Fine. Normal formas in modal logic. Notre Dame Journal of Formal Logic, 16, 229–234 1975.

    Google Scholar 

  44. K. Fine. Prior on the construction of possible worlds and instants. In Worlds, Times and Selves, A. N. Prior and K. Fine, eds. pp. 116–161. Duckworth, London. 1977.

    Google Scholar 

  45. K. Fine. Properties, propositions and sets. Journal of Philosophical Logic, 6, 135–191 1977.

    Google Scholar 

  46. K. Fine. Model theory for modal logic. Journal of Philosophical Logic, 7, 125–156, 1978/81.

    Google Scholar 

  47. K. Fine. First order modal theories, I: Sets. Nous, 15, 177–205; 1980

    Google Scholar 

  48. K. Fine. First order modal theories, II: Propositions. Studia Logica, 34, 159–202; 1981

    Google Scholar 

  49. K. Fine. First order modal theories, I: Sets. III: Facts. Synthese, 53, 43–122, 1982.

    Google Scholar 

  50. G. Fischer-Servi. On modal logic with an intuitionist base. Studia Logica, 36, 141–149 1977.

    Google Scholar 

  51. G. Fischer-Servi. Semantics for a class of intuitionist modal calculi. In Italian Studies in the Philosophy of Science, M. L. Dalla Chiara, ed. pp. 59–72. Reidel, Dordrecht, 1981.

    Google Scholar 

  52. F. B. Fitch. Modal functions in two-valued logic. Journal of Symbolic Logic, 2, 125–128 1937.

    Google Scholar 

  53. F. B. Fitch. Note on modal functions. Journal of Symbolic Logic, 4, 115–116 1939.

    Google Scholar 

  54. F. B. Fitch. Intuitionistic modal logic with quantifiers. Portugaliae Mathematica, 7, 113–118 1948.

    Google Scholar 

  55. F. B. Fitch. Symbolic Logic: An Introduction. Ronald Press, NY, 1952.

    Google Scholar 

  56. D. Fo̊llesdal. Von Wright’s modal logic. In The Philosophy of Georg Henrik Von Wright, P. A. Schilpp, ed. 1989.

    Google Scholar 

  57. D. Fo̊llesdal and R. Hilpinen. Denontic logic: An introduction. In Deontic Logic: Introductory and Systematic Reasings, R. Hilpinen, ed. pp. 1–35. Reidel, Drodrecht, 1971.

    Google Scholar 

  58. H. Friedman. One hundred and two problems in mathematical logic. Journal of Symbolic Logic, 40, 113–129 1975.

    Google Scholar 

  59. D. M. Gabbay. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics. Reidel, Dordrecht, 1976.

    Google Scholar 

  60. D. M. Gabbay. Semantical Investigations in Heyting’s Intuitionistic Logic. Reidel, Dordrecht, 1981.

    Google Scholar 

  61. M. Gerson. The inadequacy of the neighbourhood semantics for modal logic. Journal of Symbolic Logic, 40, 141–148 1975.

    Google Scholar 

  62. M. Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studia Logica, 34, 333–342 1975.

    Google Scholar 

  63. M. Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeit. Math. Logik. Grund., 22, 29–34 1976.

    Google Scholar 

  64. K. Gödel. Eine Interpretation des intuitionistischen Aussagenkalküls. Ergenisse eines mathematisches Kolloquiums, 4, 39–40 1933.

    Google Scholar 

  65. R. I. Goldblatt. First-order definability in modal logic. Journal of Symbolic Logic, 40, 35–40 1975.

    Google Scholar 

  66. R. I. Goldblatt. Methamathematics of modal logic. Reports on Mathematical Logic, 6, 41–78; 1976.

    Google Scholar 

  67. R. I. Goldblatt. Methamathematics of modal logic. Reports on Mathematical Logic, 7, 21–52 1976.

    Google Scholar 

  68. R. I. Goldblatt and S. K. Thomason. Axiomatic classes in propositional modal logic. In Algebra and Logic, J. N. Crossley, ed. pp. 163–173. Vo. 450 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1975.

    Google Scholar 

  69. A. Grzegoczyk. Individualistic formal approach to deontic logic. Studia Logica, 40, 99–102 1981.

    Google Scholar 

  70. M. Guillaume. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode e tableaux sémantiques. Comptes renus hebdomaires des séances de l’Academie des Sciences, 246, 1140–1142, 2207–2210; 1958.

    Google Scholar 

  71. M. Guillaume. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode e tableaux sémantiques. Comptes renus hebdomaires des séances de l’Academie des Sciences, 247, 1281–1283, Gauthiers-Villars, Paris, 1958.

    Google Scholar 

  72. S. Halldén. Results concerning the decision problem of Lewis’s calculi S3 and S4. Journal of Symbolic Logic, 15, 230–236 1949.

    Google Scholar 

  73. B. Hansson and P. Gärdenfors. A guide to intensional semantics. In Modality, Morality and other Problems of Sense and Nonsense. Essays Dedicated to Sören Halldén, pp. 151–167. Gleerup, Lund, 1973.

    Google Scholar 

  74. R. Hilpinen. Deontic Logic: Introductory and Systematic Readings. Reidel, Dordrecht, 1971.

    Google Scholar 

  75. J. Hintikka. Form and content in quantification theory. Acta Philosophica Fennica, 8, 11–55 1955.

    Google Scholar 

  76. J. Hintikka. Quantifiers in Deontic Logic. Societas Scientarum Fennica, Commentationes humanarum litterarum 23:4, Helsingfors, 1957.

    Google Scholar 

  77. J. Hintikka. Modality and quantification. Theoria, 27, 119–128 1961. Revised veesion reprinted in Hinktikka [1969].

    Google Scholar 

  78. J. Hintikka. Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca, NY, 1962.

    Google Scholar 

  79. J. Hintikka. The modes of modality. Acta Philosophica Fennica, 16, 65–82 1963. Reprinted in Hintikka [1969].

    Google Scholar 

  80. J. Hinktikka. Models for Modalities: Selected Essays. Reidel, Dordrecht, 1969.

    Google Scholar 

  81. J. Hinktikka. Review. Journal of Symbolic Logic, 34, 305–306 1969.

    Google Scholar 

  82. J. Hinktkka. Carnap’s heritage in logical semantics. In Rudolf Carnap, Logical Empiricist: Materials and Perspectives, J. Hintikka, ed. pp. 217–242. Reidel, Dordrecht, 1975.

    Google Scholar 

  83. A. Hofstadter and J. C. C. McKinsey. On the logic of imperatives. Philosophy of Sciences, 6, 446–457 1939.

    Google Scholar 

  84. G. E. Hughes and M. J. Cresswell. A New Introduction to Modal Logic. Routledge, 1996.

    Google Scholar 

  85. R. C. Jeffrey. Formal Logic: Its Scope and Limits, 3rd Edition. McGrawHill, NY, (1st edition 1967), 1990.

    Google Scholar 

  86. B. Jónsson. Algebras whose congruence lattices are distributive. Mathmatica Scandinavica, 21, 110–121 1967.

    Google Scholar 

  87. E. Jónsson and A. Tarski. Boolean algebras with operators. Part I. Am. J. Math., 74, 891–939 1951.

    Google Scholar 

  88. J. A. W. Kamp. On Tense Logic and the Theory of Order. PhD Dissertation, UCLA, 1968.

    Google Scholar 

  89. S. Kanger. Provability in Logic. Disseration, Stockholm, 1957.

    Google Scholar 

  90. S. Kanger. New Foundations for Ethical Theory, Stockholm, 1957. Reprinted in Hilpinen [1971].

    Google Scholar 

  91. S. Kanger. The Morning Star Paradox. Theoria, 23, 1–11 1957.

    Google Scholar 

  92. S. Kanger. A note on quantification and modalities. Theoria, 23, 131–134 1957.

    Google Scholar 

  93. D. Kaplan. Review. Journal of Symbolic Logic, 31, 120–122 1966.

    Google Scholar 

  94. D. Kaplan. S5 with quantifiable propositinal variables, Abstract. Journal of Symbolic Logic, 35, 355, 1970.

    Google Scholar 

  95. W. Kneale and M. Kneale. The Development of Logic. Clarendon Press, Oxford, 1962.

    Google Scholar 

  96. S. A. Kripke. A completeness theorem in modal logic. Journal of Symbolic Logic, 24, 1–14 1959.

    Google Scholar 

  97. S. A. Kripke. Semantical considerations on modal logic. Acta Philosophical Fennica, 16, 83–94 1963.

    Google Scholar 

  98. S. A. Kripke. Semantical analysis of modal logic I: Normal propositional calculi. Zeit. Math. Logik. Grund., 9, 67–96 1963.

    Google Scholar 

  99. S. A. Kripke. Semantical analysis of modal logic II: Non-normal modal propositional calculi. In The Theory of Models, J. W. Adison et al., eds. pp. 206–220. North-Holland, Amsterdam, 1965.

    Google Scholar 

  100. S. T. Kuhn. Many-sorted Modal Logics. Philosophical studies published by the Philosophical Society and the Department of Philosophy, University of Uppsala, Vol. 35, Uppsala, 1977.

    Google Scholar 

  101. D. Leivant. On the proof theory of the modal logic for arithmetic provability. Journal of Symbolic Logic, 46, 531–538 1981.

    Google Scholar 

  102. E. J. Lemmon. New foundations for Lewis modal systems. Journal of Symbolic Logic, 22, 176–186 1957.

    Google Scholar 

  103. E. J. Lemmon. Algebraic semantics for modal logics. Journal of Symbolic Logic, 31, 46–65, 191–218 1966.

    Google Scholar 

  104. E. J. Lemmon. an Introduction to Modal Logic. In collaboration with D. Scott, Blackwell, Oxford, 1977.

    Google Scholar 

  105. C. I. Lewis. Implication and the algebra of logic. Mind, 21, 522–531 1912.

    Google Scholar 

  106. C. I. Lewis. A Survey of Symbolic Logic. University of California Press, Berkeley, 1918.

    Google Scholar 

  107. C. I. Lewis and C. H. Langford. Symbolic Logic. The Century Co, NY, 1932. Second edn, Dover, NY, 1959.

    Google Scholar 

  108. D. Lewis. Counterfatuals. Harvard University Press, Cambridge, MA, 1973.

    Google Scholar 

  109. J. Łukasiewicz. A system of modal logic. Journal of Computing Systems, 1, 111–149 1953.

    Google Scholar 

  110. J. Łukasiewicz. Selected Works, L. BOrkowski, ed. North Holland, Amsterdam, 1970.

    Google Scholar 

  111. S. McCall. Polish Logic 1920–1939, Clarendon Press, Oxford, 1967.

    Google Scholar 

  112. J. C. C. McKinsey. A solution of the decision problem for the Lewis systems S2 and S4 with an application to topology. Journal of Symbolic Logic, 6, 117–134 1941.

    Google Scholar 

  113. J. C. C. McKinsey. On the syntactical construction of modal logic. Journal of Symbolic Logic, 10, 83–96 1945.

    Google Scholar 

  114. J. C. C. McKinsey and A. Tarski. the algebra of topology. Annals of Mathematics, 45, 141–191 1944.

    Google Scholar 

  115. J. C. C. McKinsey and A. Tarski. Some theormes about the sentential calculi of Lewis and Heyting. Journal of Symbolic Logic, 13, 1–15 1948.

    Google Scholar 

  116. D. Makinson. On some completeness theorems in modal logic. Zeit. Math. Logik. Grund., 12, 379–384 1966.

    Google Scholar 

  117. D. Makinson. A normal modal calculus between T and S4 without the finite modal property. Journal of Symbolic Logic, 34, 35–38 1969.

    Google Scholar 

  118. D. Makinson. A generalisation of the concept of a relational model for modal logic. Theoria, 36, 331–335 1970.

    Google Scholar 

  119. D. Makinson. Aspectos de la logica mdoal, Instituto e matematica. Universidad Nacional del Sur, Bahia Blanca, 1971.

    Google Scholar 

  120. D. Makinson. Some embedding theorems for modal logic. Notre Dame Journal of Formal Logic, 12, 252–254 1971.

    Google Scholar 

  121. L. L. Maksimova. Pretabular extensiosn of Lewis’ S4. Algebra i logika, 14, 28–55 1975. (In Russian)

    Google Scholar 

  122. G. Malinowski. Historical note. In selected Papers on Lukasiewicz Sentential Calculi, R. Wójcicki, ed. pp. 177–187. Polish Academy of Sciences, Wroclaw, 1977.

    Google Scholar 

  123. E. Mally. Grundgesetze des Sollens: Elemente der Logik des Willens. Lenscher and Lugensky, Graz, 1926.

    Google Scholar 

  124. R. Montague. Syntactical treatments of modality, with corollaries on reflextion principles and finite axiomatisability. Acta Philosophica Fennica, 16, 153–167, 1963. Reprinted in Montague [1974].

    Google Scholar 

  125. R. Montague. Pragmatics. In Contemporary Philosophy: A Survey, Vol. 1. R. Klibansky, ed. pp. 102–122. La Nuova Editrice, Florence, 1968. Reprinted in Montague [1974].

    Google Scholar 

  126. R. Montague. Formal Philosophy: Selected Papers of Richard Montague. Edited, with an introduction by Richmond H. Thomason. Yale University Press, New Haven, 1974.

    Google Scholar 

  127. C. Morgan. Modality, analogy, and ideal experiments according to C. S. Pierce. Synthese, 41, 65–83 1979.

    Google Scholar 

  128. M. Mortimer. Some results in modal model theory. Journal of Symbolic Logic, 39, 496–508 1974.

    Google Scholar 

  129. M. Ohnishi and K. Matsumoto. Gentzen method in modal calculi. Osaka Mathematical Journal, 9, 113–130; 1957/1959.

    Google Scholar 

  130. M. Ohnishi and K. Matsumoto. Gentzen method in modal calculi. Osaka Mathematical Journal, 11, 115–120 1957/1959.

    Google Scholar 

  131. W. T. Parry. The postulates for ‘strict implication’. Mind, 43, 78–80 1934.

    Google Scholar 

  132. C. Parsons. Intensional logic in extensional language. Journal of Symbolic Logic, 47, 289–328 1982.

    Google Scholar 

  133. V. R. Pratt. Application of modal logic to programming. Studia Logica, 34, 257–274 1980.

    Google Scholar 

  134. D. Prawitz. Natural Deduction: A Proof-theoretic study, Stockholm Studies in Philocopy 3, Almqvist and Wiskell, Stockholm, 1965.

    Google Scholar 

  135. A. N. Prior. Formal Logic. Clarendon Press, Oxford, 1955. Second Edition, 1962.

    Google Scholar 

  136. A. N. Prior. Time and Modality. Clarendon Press, Oxford, 1957.

    Google Scholar 

  137. A. N. Prior. Past, Present and Future. Clarendon Press, Oxford. 1967.

    Google Scholar 

  138. H. Rasiowa and R. Sikorski. The Mathematics of Metamathematics, Państwowe Wydawnictwo Naukowe, 1963.

    Google Scholar 

  139. W. Rautenberg. klassische und nichtklassische Aussagenlogik, Bieweg, Braunschweig, Wiesbaden, 1979.

    Google Scholar 

  140. N. Rescher and A. Urquhart. Temporal Logic. SpringerVerlag, NY, 1971.

    Google Scholar 

  141. J. Ridder. Die Grntzensschen Schlussverfahren in modalen Aussagenlogiken I. Indagationes mathematicae, 17, 163–276 1955.

    Google Scholar 

  142. H. Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logic. In Proceedings of the Third Scandinavian Logic Symposium, S. Kanger, ed. pp. 110–143. North-Holland, Amsterdam, 1975.

    Google Scholar 

  143. G. F. Schumm. Bounded properties in modal logic. Zeit. Math. Logik. Grund., 27, 197–200 1981.

    Google Scholar 

  144. K. Schütte. Vollständige Systeme modaler und intuitionistischer Logik. Springer-Verlag, Berlin, 1968.

    Google Scholar 

  145. D. Scott. On engendering an illusation of understanding. Journal of Philosophy, 68, 787–807 1971.

    Google Scholar 

  146. S. J. Scroggs. Extensions of the Lewis system S5. Journal of Symbolic Logic, 16, 112–120 1951.

    Google Scholar 

  147. K. Segerberg. Decidability of S4.2. Theoria, 34, 7–20 1968.

    Google Scholar 

  148. K. Segerberg. Modal logics with linear alternative relations. Theoria, 36, 301–322 1970.

    Google Scholar 

  149. K. Segerberg. An Essay in Classical Modal Logic. Philosophical studies published by the Philosophical society and the Department of Philosophy, University of Uppsala, Vol. 13, Uppsala, 1971.

    Google Scholar 

  150. K. Segerberg. Classical Propositional Operators: An Exercise in the Foundations of Logic, Clarendon Press, Oxford, 1982.

    Google Scholar 

  151. K. Segerberg. Von Wright’s tense-logic. In The Philosophy of Georg Henrik von Wright, P. A. Schlipp, ed. 1989.

    Google Scholar 

  152. D. J. Shoesmith and T. J. Smiley. Multiple-conclusion Logic. Cambridge University Press, Cambridge, 1978.

    Google Scholar 

  153. R. M. Smullyan. First-order Logic. Springer-Verlag, NY, 1968.

    Google Scholar 

  154. D. P. Snyder. Modal Logic and its Applications. Van Nostrand Reinhold, NY, 1971.

    Google Scholar 

  155. B. Sobinciński. Family K of the non-Lewis modal systems. Notre Dame Journal of Formal Logic, 5, 313–318 1964.

    Google Scholar 

  156. R. S. M. Solovay. Provability interpretations of modal logic. Israel Journal of Mathematics, 25, 287–304 1976.

    Google Scholar 

  157. R. Stalnaker. A theory of conditionals. In Studies in Logical Theory, N. Rescher, ed. p. 98–112. Blackwell, Oxford, 1968.

    Google Scholar 

  158. S. K. Thomason. Semantic analysis of tense logics. Journal of Symbolic Logic, 37, 150–158 1972.

    Google Scholar 

  159. S. K. Thomason. Noncompactness in propositional modal logic. Journal of Symbolic Logic, 37, 716–720 1972.

    Google Scholar 

  160. S. K. Thomason. An incompleteness theorem in modal logic. Theoria, 40, 30–34 1974.

    Google Scholar 

  161. S. K. Thomason. Categories of frames for modal logic. Journal of Symbolic Logic, 40, 439–442 1975.

    Google Scholar 

  162. J. F. A. K. van Benthem. A note on modal formulae and relational properties. Journal of Symbolic Logic, 40, 55–58 1975.

    Google Scholar 

  163. J. F. A. K. van Benthem. Modal formulas are either elementary or not Es-elementary. Journal of Symbolic Logic, 41, 436–438 1976.

    Google Scholar 

  164. J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, 44, 25–37 1978.

    Google Scholar 

  165. J. F. A. K. van Benthem. Canonical modal logics and ultrafilter extensions. Journal of Symbolic Logic, 44, 1–8 1979.

    Google Scholar 

  166. J. F. A. K. van Benthem. Syntactic aspects of modal incompleteness theorems. Theoria, 45, 67–81 1979.

    Google Scholar 

  167. J. F. A. K. van Benthem and W. Blok. Transitivity follows from Dummett’s axiom. Theoria, 44, 117–118 1978.

    Google Scholar 

  168. G. H. von Wright. An Essay in Modal Logic. North Holland, Amsterdam, 1951.

    Google Scholar 

  169. G. H. von Wright. Deontic logic. Mind, 60, 1–15 1951.

    Google Scholar 

  170. G. H. von Wright. An essay in deontic logic and general theory of action with a bibliography of deontic and imperative logic. Acta Philosophical Fennica, 21, 1968.

    Google Scholar 

  171. G. H. von Wright. Problems and propsects of deontic logic. A Survey. In Modern Logic—A Survey, ed. Evandro Agazzi, ed. pp. 199–423. Reidel, Dordrecht, 1981.

    Google Scholar 

  172. J. J. Zeman. Modal Logic: The Lewis-Modal Systems. Clarendeon Press, Oxford, 1973.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Canterbury, New Zealand

    Robert Bull

  2. University of Uppsala, Sweden

    Krister Segerberg

Authors
  1. Robert Bull
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Krister Segerberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. King’s College, London, UK

    D. M. Gabbay

  2. Centrum für Informations- und Sprachverarbeitung, Ludwig-Maximilians-Universität München, Germany

    F. Guenthner

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Bull, R., Segerberg, K. (2001). Basic Modal Logic. In: Gabbay, D.M., Guenthner, F. (eds) Handbook of Philosophical Logic. Handbook of Philosophical Logic, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0454-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-0454-0_1

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-5765-5

  • Online ISBN: 978-94-017-0454-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation