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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
W. Ackerman. Begründung einer strengen Implikation. Journal of Symbolic Logic, 21, 113–128 1956.
M. J. Alban. Independence of the primitive symbols of Lewis’ calculi of propositions. Journal of Symbolic Logic, 8, 24–26 1943.
A. R. Anderson and N. D. Belnap. Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton University Press, Princeton, 1975.
C. A. Anderson. Some axioms for the logic of sense and denotation: alternative (0). Nous, 14, 217–234 1980.
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.
O. Becker. Zur Logik der Modalitäten. Jarbuch für Philosophie und phänonenologische Forschung, 11, 496–548 1930.
N. D. Belnap. Modal and relevance logics: 1977. In Modern Logic—A Survey, E. Agazzi, ed. pp. 131–151. Reidel, Dordrecht, 1981.
E. W. Beth. The Foundations of Mathematics: A Study in the Philosophy of Science. North-Holland, Amsterdam, 1959.
W. J. Blok. The lattice of modal algebras: an algebraic investigation. Journal of Symbolic Logic, 45, 221–236 1980.
W. J. Blok. Pretabular varieties of modal algebras. Studia Logica, 39, 101–124 1980.
G. Boolos. The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press, Cambridge, 1979.
K. A. Bowen. Model Theory for Modal Logic. Reidel, Dordrecht, 1978.
R.A. Bull. An algebraic study of Diodoreanmodal systems. Journal of Symbolic Logic, 30, 58–64 1965.
R. A. Bull. A modal extension of intuitionistic logic. Notre Dame Journal of Formal Logic, 6, 142–146 1965.
R. A. Bull. That all normal extensions of S4.3 have the finite model property. Zeit Math. Logik Grund., 12, 341–344 1966.
R. A. Bull. MIPC as the formalisation of an intuitionist concept of modality. Journal of Symbolic Logic, 31, 609–616 1966.
R. A. Bull. On the extension of S4 with CLMpMLp. Notre Dame Journal of Formal Logic, 8, 325–329 1967.
R. A. Bull. On modal logic with propositional quantifiers. Journal of Symbolic Logic, 34, 257–263 1969.
R. A. Bull. Review. Journal of Symbolic Logic, 47, 440–445 1982.
R. A. Bull. Review. Journal of Symbolic Logic, 48, 488–495 1983.
R. Carnap. Introduction to Semantics. Harvard University Press, Cambridge, MA, 1942.
R. Carnap. Meaning and Necessity: A Study in Semantics and Modal Logic. The University of Chicago Press, Chicago, 1947.
B. F. Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.
A. Church. A formulation of the logic of sense and denotation. Abstract. Journal of Symbolic Logic, 11, 31, 1946.
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.
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.
A. Church. Outline of a revised formulation of the logic of sense and denotation. Nous, 7, 24–33;
A. Church. Outline of a revised formulation of the logic of sense and denotation. Nous, 8, 135–156 1973–74.
M. Cresswell. A Henkin completeness theorem for T . Notre Dame Journal of Formal Logic, 8, 186–190 1967.
E. M. Curley. The development of Lewis’ theory of strict implication. Notre Dame Journal of Formal Logic, 16, 517–527 1975.
H. B. Curry. A Theory of Formal Deducibility. University of Notre Dame Press, Notre Dame, IN, 1950.
J. Dugundj. Note on a property of matrices for Lewis and Langford’s calculi of propositions. Journal of Symbolic Logic, 5, 150–151 1940.
M. A. E. Dummett and E. J. Lemmon. Modal logics between S4 and S5. Zeit Math. Logik. Grund., 3, 250–264 1959.
L. Esakia and V. Meskhi. Five critical modal systems. Theoria, 43, 52–60 1977.
R. Feys. Modal Logics. Edited with some complements by Joseph Dopp, E. Nauwelaerts, Louvainand Gauthier-Vallars, Paris, 1965.
K. Fine. Propositional quantifers in modal logic. Theoria, 36, 336–346 1970.
K. Fine. The logics containing S4.3. Zeit. Math. Logik. Grund., 17, 371–376, 1971.
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.
K. Fine. An incomplete logic containing S4. Theoria, 40, 23–29 1974.
K. Fine. An ascending chain of S4 logics. Theoria, 40, 110–116 1974.
K. Fine. Logics containing K4, Part I. Journal of Symbolic Logic, 39, 31–42, 1974.
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.
K. Fine. Normal formas in modal logic. Notre Dame Journal of Formal Logic, 16, 229–234 1975.
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.
K. Fine. Properties, propositions and sets. Journal of Philosophical Logic, 6, 135–191 1977.
K. Fine. Model theory for modal logic. Journal of Philosophical Logic, 7, 125–156, 1978/81.
K. Fine. First order modal theories, I: Sets. Nous, 15, 177–205; 1980
K. Fine. First order modal theories, II: Propositions. Studia Logica, 34, 159–202; 1981
K. Fine. First order modal theories, I: Sets. III: Facts. Synthese, 53, 43–122, 1982.
G. Fischer-Servi. On modal logic with an intuitionist base. Studia Logica, 36, 141–149 1977.
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.
F. B. Fitch. Modal functions in two-valued logic. Journal of Symbolic Logic, 2, 125–128 1937.
F. B. Fitch. Note on modal functions. Journal of Symbolic Logic, 4, 115–116 1939.
F. B. Fitch. Intuitionistic modal logic with quantifiers. Portugaliae Mathematica, 7, 113–118 1948.
F. B. Fitch. Symbolic Logic: An Introduction. Ronald Press, NY, 1952.
D. Fo̊llesdal. Von Wright’s modal logic. In The Philosophy of Georg Henrik Von Wright, P. A. Schilpp, ed. 1989.
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.
H. Friedman. One hundred and two problems in mathematical logic. Journal of Symbolic Logic, 40, 113–129 1975.
D. M. Gabbay. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics. Reidel, Dordrecht, 1976.
D. M. Gabbay. Semantical Investigations in Heyting’s Intuitionistic Logic. Reidel, Dordrecht, 1981.
M. Gerson. The inadequacy of the neighbourhood semantics for modal logic. Journal of Symbolic Logic, 40, 141–148 1975.
M. Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studia Logica, 34, 333–342 1975.
M. Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeit. Math. Logik. Grund., 22, 29–34 1976.
K. Gödel. Eine Interpretation des intuitionistischen Aussagenkalküls. Ergenisse eines mathematisches Kolloquiums, 4, 39–40 1933.
R. I. Goldblatt. First-order definability in modal logic. Journal of Symbolic Logic, 40, 35–40 1975.
R. I. Goldblatt. Methamathematics of modal logic. Reports on Mathematical Logic, 6, 41–78; 1976.
R. I. Goldblatt. Methamathematics of modal logic. Reports on Mathematical Logic, 7, 21–52 1976.
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.
A. Grzegoczyk. Individualistic formal approach to deontic logic. Studia Logica, 40, 99–102 1981.
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.
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.
S. Halldén. Results concerning the decision problem of Lewis’s calculi S3 and S4. Journal of Symbolic Logic, 15, 230–236 1949.
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.
R. Hilpinen. Deontic Logic: Introductory and Systematic Readings. Reidel, Dordrecht, 1971.
J. Hintikka. Form and content in quantification theory. Acta Philosophica Fennica, 8, 11–55 1955.
J. Hintikka. Quantifiers in Deontic Logic. Societas Scientarum Fennica, Commentationes humanarum litterarum 23:4, Helsingfors, 1957.
J. Hintikka. Modality and quantification. Theoria, 27, 119–128 1961. Revised veesion reprinted in Hinktikka [1969].
J. Hintikka. Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca, NY, 1962.
J. Hintikka. The modes of modality. Acta Philosophica Fennica, 16, 65–82 1963. Reprinted in Hintikka [1969].
J. Hinktikka. Models for Modalities: Selected Essays. Reidel, Dordrecht, 1969.
J. Hinktikka. Review. Journal of Symbolic Logic, 34, 305–306 1969.
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.
A. Hofstadter and J. C. C. McKinsey. On the logic of imperatives. Philosophy of Sciences, 6, 446–457 1939.
G. E. Hughes and M. J. Cresswell. A New Introduction to Modal Logic. Routledge, 1996.
R. C. Jeffrey. Formal Logic: Its Scope and Limits, 3rd Edition. McGrawHill, NY, (1st edition 1967), 1990.
B. Jónsson. Algebras whose congruence lattices are distributive. Mathmatica Scandinavica, 21, 110–121 1967.
E. Jónsson and A. Tarski. Boolean algebras with operators. Part I. Am. J. Math., 74, 891–939 1951.
J. A. W. Kamp. On Tense Logic and the Theory of Order. PhD Dissertation, UCLA, 1968.
S. Kanger. Provability in Logic. Disseration, Stockholm, 1957.
S. Kanger. New Foundations for Ethical Theory, Stockholm, 1957. Reprinted in Hilpinen [1971].
S. Kanger. The Morning Star Paradox. Theoria, 23, 1–11 1957.
S. Kanger. A note on quantification and modalities. Theoria, 23, 131–134 1957.
D. Kaplan. Review. Journal of Symbolic Logic, 31, 120–122 1966.
D. Kaplan. S5 with quantifiable propositinal variables, Abstract. Journal of Symbolic Logic, 35, 355, 1970.
W. Kneale and M. Kneale. The Development of Logic. Clarendon Press, Oxford, 1962.
S. A. Kripke. A completeness theorem in modal logic. Journal of Symbolic Logic, 24, 1–14 1959.
S. A. Kripke. Semantical considerations on modal logic. Acta Philosophical Fennica, 16, 83–94 1963.
S. A. Kripke. Semantical analysis of modal logic I: Normal propositional calculi. Zeit. Math. Logik. Grund., 9, 67–96 1963.
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.
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.
D. Leivant. On the proof theory of the modal logic for arithmetic provability. Journal of Symbolic Logic, 46, 531–538 1981.
E. J. Lemmon. New foundations for Lewis modal systems. Journal of Symbolic Logic, 22, 176–186 1957.
E. J. Lemmon. Algebraic semantics for modal logics. Journal of Symbolic Logic, 31, 46–65, 191–218 1966.
E. J. Lemmon. an Introduction to Modal Logic. In collaboration with D. Scott, Blackwell, Oxford, 1977.
C. I. Lewis. Implication and the algebra of logic. Mind, 21, 522–531 1912.
C. I. Lewis. A Survey of Symbolic Logic. University of California Press, Berkeley, 1918.
C. I. Lewis and C. H. Langford. Symbolic Logic. The Century Co, NY, 1932. Second edn, Dover, NY, 1959.
D. Lewis. Counterfatuals. Harvard University Press, Cambridge, MA, 1973.
J. Łukasiewicz. A system of modal logic. Journal of Computing Systems, 1, 111–149 1953.
J. Łukasiewicz. Selected Works, L. BOrkowski, ed. North Holland, Amsterdam, 1970.
S. McCall. Polish Logic 1920–1939, Clarendon Press, Oxford, 1967.
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.
J. C. C. McKinsey. On the syntactical construction of modal logic. Journal of Symbolic Logic, 10, 83–96 1945.
J. C. C. McKinsey and A. Tarski. the algebra of topology. Annals of Mathematics, 45, 141–191 1944.
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.
D. Makinson. On some completeness theorems in modal logic. Zeit. Math. Logik. Grund., 12, 379–384 1966.
D. Makinson. A normal modal calculus between T and S4 without the finite modal property. Journal of Symbolic Logic, 34, 35–38 1969.
D. Makinson. A generalisation of the concept of a relational model for modal logic. Theoria, 36, 331–335 1970.
D. Makinson. Aspectos de la logica mdoal, Instituto e matematica. Universidad Nacional del Sur, Bahia Blanca, 1971.
D. Makinson. Some embedding theorems for modal logic. Notre Dame Journal of Formal Logic, 12, 252–254 1971.
L. L. Maksimova. Pretabular extensiosn of Lewis’ S4. Algebra i logika, 14, 28–55 1975. (In Russian)
G. Malinowski. Historical note. In selected Papers on Lukasiewicz Sentential Calculi, R. Wójcicki, ed. pp. 177–187. Polish Academy of Sciences, Wroclaw, 1977.
E. Mally. Grundgesetze des Sollens: Elemente der Logik des Willens. Lenscher and Lugensky, Graz, 1926.
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].
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].
R. Montague. Formal Philosophy: Selected Papers of Richard Montague. Edited, with an introduction by Richmond H. Thomason. Yale University Press, New Haven, 1974.
C. Morgan. Modality, analogy, and ideal experiments according to C. S. Pierce. Synthese, 41, 65–83 1979.
M. Mortimer. Some results in modal model theory. Journal of Symbolic Logic, 39, 496–508 1974.
M. Ohnishi and K. Matsumoto. Gentzen method in modal calculi. Osaka Mathematical Journal, 9, 113–130; 1957/1959.
M. Ohnishi and K. Matsumoto. Gentzen method in modal calculi. Osaka Mathematical Journal, 11, 115–120 1957/1959.
W. T. Parry. The postulates for ‘strict implication’. Mind, 43, 78–80 1934.
C. Parsons. Intensional logic in extensional language. Journal of Symbolic Logic, 47, 289–328 1982.
V. R. Pratt. Application of modal logic to programming. Studia Logica, 34, 257–274 1980.
D. Prawitz. Natural Deduction: A Proof-theoretic study, Stockholm Studies in Philocopy 3, Almqvist and Wiskell, Stockholm, 1965.
A. N. Prior. Formal Logic. Clarendon Press, Oxford, 1955. Second Edition, 1962.
A. N. Prior. Time and Modality. Clarendon Press, Oxford, 1957.
A. N. Prior. Past, Present and Future. Clarendon Press, Oxford. 1967.
H. Rasiowa and R. Sikorski. The Mathematics of Metamathematics, Państwowe Wydawnictwo Naukowe, 1963.
W. Rautenberg. klassische und nichtklassische Aussagenlogik, Bieweg, Braunschweig, Wiesbaden, 1979.
N. Rescher and A. Urquhart. Temporal Logic. SpringerVerlag, NY, 1971.
J. Ridder. Die Grntzensschen Schlussverfahren in modalen Aussagenlogiken I. Indagationes mathematicae, 17, 163–276 1955.
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.
G. F. Schumm. Bounded properties in modal logic. Zeit. Math. Logik. Grund., 27, 197–200 1981.
K. Schütte. Vollständige Systeme modaler und intuitionistischer Logik. Springer-Verlag, Berlin, 1968.
D. Scott. On engendering an illusation of understanding. Journal of Philosophy, 68, 787–807 1971.
S. J. Scroggs. Extensions of the Lewis system S5. Journal of Symbolic Logic, 16, 112–120 1951.
K. Segerberg. Decidability of S4.2. Theoria, 34, 7–20 1968.
K. Segerberg. Modal logics with linear alternative relations. Theoria, 36, 301–322 1970.
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.
K. Segerberg. Classical Propositional Operators: An Exercise in the Foundations of Logic, Clarendon Press, Oxford, 1982.
K. Segerberg. Von Wright’s tense-logic. In The Philosophy of Georg Henrik von Wright, P. A. Schlipp, ed. 1989.
D. J. Shoesmith and T. J. Smiley. Multiple-conclusion Logic. Cambridge University Press, Cambridge, 1978.
R. M. Smullyan. First-order Logic. Springer-Verlag, NY, 1968.
D. P. Snyder. Modal Logic and its Applications. Van Nostrand Reinhold, NY, 1971.
B. Sobinciński. Family K of the non-Lewis modal systems. Notre Dame Journal of Formal Logic, 5, 313–318 1964.
R. S. M. Solovay. Provability interpretations of modal logic. Israel Journal of Mathematics, 25, 287–304 1976.
R. Stalnaker. A theory of conditionals. In Studies in Logical Theory, N. Rescher, ed. p. 98–112. Blackwell, Oxford, 1968.
S. K. Thomason. Semantic analysis of tense logics. Journal of Symbolic Logic, 37, 150–158 1972.
S. K. Thomason. Noncompactness in propositional modal logic. Journal of Symbolic Logic, 37, 716–720 1972.
S. K. Thomason. An incompleteness theorem in modal logic. Theoria, 40, 30–34 1974.
S. K. Thomason. Categories of frames for modal logic. Journal of Symbolic Logic, 40, 439–442 1975.
J. F. A. K. van Benthem. A note on modal formulae and relational properties. Journal of Symbolic Logic, 40, 55–58 1975.
J. F. A. K. van Benthem. Modal formulas are either elementary or not Es-elementary. Journal of Symbolic Logic, 41, 436–438 1976.
J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, 44, 25–37 1978.
J. F. A. K. van Benthem. Canonical modal logics and ultrafilter extensions. Journal of Symbolic Logic, 44, 1–8 1979.
J. F. A. K. van Benthem. Syntactic aspects of modal incompleteness theorems. Theoria, 45, 67–81 1979.
J. F. A. K. van Benthem and W. Blok. Transitivity follows from Dummett’s axiom. Theoria, 44, 117–118 1978.
G. H. von Wright. An Essay in Modal Logic. North Holland, Amsterdam, 1951.
G. H. von Wright. Deontic logic. Mind, 60, 1–15 1951.
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.
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.
J. J. Zeman. Modal Logic: The Lewis-Modal Systems. Clarendeon Press, Oxford, 1973.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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