Modal logics, the logics which study the modes of qualifying truth such as possibility and necessity, belong to the family of logics classified as nonclassical or non-standard logics. Themost studiednon-standard logicsmay be conventionally grouped, for the sake of simplicity, into two distinct classes:
-
1.
The class of logics which differ from standard logic for lacking some classical laws (e.g. intuitionistic logic, paraconsistent logics or quantum logics), and
-
2.
The class of logicswhich differ fromstandard logic for being linguistic or axiomatic extensions of it.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliograph1y
S. Artemov and L. Beklemishev. Provability logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 13, pages 229–403. Springer, Amsterdam, 2005.
N. Alechina. Modal Quantifiers. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, 1995.
R. J. Aumann. Agreeing to disagree. The Annals of Statistics, 14(6):1236–1239, 1976.
[B0′5] J.-Y. Béziau. Paraconsistent logics from a modal point of view. Journal of Applied Logic, 3:7–14, 2005.
P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, Cambridge, 2001.
E. Bencivenga. Free logics. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 3, pages 373–426. Dordrecht, Reidel, 1983.
E. Bencivenga. Free Logics. Bibliopolis, Naples, 1984.
T. Brauner and S. Ghilardi. First-order modal logic. In P. Black-burn, J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic, pages 549–620. Elsevier, Amsterdam, 2007.
M. Baldoni, L. Giordano, and A. Martelli. A tableau calculus for multimodal logics and some (un)decidability results. In H. de Swart, editor, Proceedings of Tableaux 98—International Conference on Tableaux Methods, pages 44–59. Springer, Berlin, 1998.
I. M. Bochenski. A History of Formal Logic. University of Notre Dame Press, Indiana, 1961.
G. Boolos. The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press, Cambridge, 1979.
G. Boolos. The Logic of Provability. Cambridge University Press, Cambridge, 1993.
G. Boolos and G. Sambin. An incomplete systemof modal logic. Journal of Philosophical logic, 14:351–358, 1985.
B. Brogaard and J. Salerno. Fitch's paradox of knowability. In Edward N. Zalta, editor, Stanford Encyclopedia of Philosophy, volume http://plato.stanford.edu.Center for the Study of Language and Information—Stanford University, Stanford, 2004.
P. Blackburn and M. Tzakova. Hybrid languages and temporal logics. Logic Journal of the IGPL, 7:27–54, 1999.
R. A. Bull. That all normal extension of S4.3have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 12:609–616, 1966.
R. A. Bull. An algebraic study of tense logic with linear time. The Journal of Symbolic Logic, 33:27–38, 1968.
J. P. Burgess. Basic tense logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, pages 89–133. Dordrecht, Reidel, 1984.
P. Blackburn and J. van Benthem. Modal logic; a semantic perspective. In P. Blackburn, J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic, pages 1–84. Elsevier, Amsterdam, 2007.
R. Carnap. Meaning and Necessity. University of Chicago Press, Chicago, IL, 1947.
L. Catach. Normal multimodal logic. In T. Mitchell and R. Smith, editors, Proceedings of AAAI′88— Seventh National Conference on Artificial Intelligence, pages 491–495. The AAAI Press, Menlo Park, CA, 1988.
L. Catach. Les Logiques Multimodales. PhD thesis, Univérsité de Paris VI, France, 1989.
L. Catach. Tableaux: a general theorem prover for modal logics. Journal of Automated Reasoning, 7(4):489–510, 1991.
W. A. Carnielli and M. E. Coniglio. Combining logics. In Edward N. Zalta, editor, Stanford Encyclopedia of Philosophy, volume http://plato.stanford.edu. Center for the Study of Language and Information—Stanford University, Stanford, 2007.
[CCG+07] W. A. Carnielli, M. E. Coniglio, D. Gabbay, P. Gouveia, and C. Sernadas. Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems. Springer, Amsterdam, 2007.
W. A. Carnielli, M. E. Coniglio, and J. Marcos. Logics of formal inconsistency. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 14, pages 1–93. Springer, Amsterdam, 2007.
W. A. Carnielli and I. M. L. D'Ottaviano. Translations between logical systems: a manifesto. Logic et Analyse, 40(157):67–81, 1997.
B. F. Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.
R. M. Chisholm. The logic of knowing. Journal of Philosophy, 60:773–795, 1963.
W. A. Carnielli and J. Marcos. A taxonomy of C-systems. In W. A. Carnielli, M. E. Coniglio, and I. M. L. D'Ottaviano, editors, Paraconsistency - The Logical Way to the Inconsistent, volume 228 of Lecture Notes in Pure and Applied Mathematics, pages 1–94. Marcel Dekker, New York, 2002.
[Coc66a] N. B. Cocchiarella. A logic of actual and possible objects. The Journal of Symbolic Logic, 31:688–689, 1966.
N. B. Cocchiarella. Tense Logic: A Study of Temporal Reference. PhD thesis, U.C.L.A, LA, 1966.
J. H. Conway. Regular Algebras and Finite Machines. Chapman & Hall, London, 1971.
S. Cook. The complexity of theorem proving procedures. In M. A. Harrison, R. B. Banerji, and J. D. Ullman, editors, Proceedings of the Third Annual ACM Symposium on Theory of Computing, pages 151–158. Shaker Heights, Ohio, 1971.
J. Copeland. The genesis of possible worlds semantics. Journal of Philosophical logic, 31:99–137, 2002.
M. J. Cresswell. Necessity and contingency. Studia Logica, 47:145–149, 1988.
A. Chagrov and M. Zakharyaschev. Modal Logic. Clarendon Press, Oxford, 1997.
J. Dugundji. Note on a property of matrices for Lewis and Langford's calculi of propositions. The Journal of Symbolic Logic, 5:150–151, 1940.
R. L. Epstein and W. A. Carnielli. Computability: Computable Funtions, Logic, and the Foundations of Mathematics, with Computability and Undecidability—A Timeline. Wadsworth/Thomson Learning, Belmont, CA, 2nd edition, 2000.
P. Enjalbert and L. Fariñas del Cerro. Modal resolution in clausal form. Theorethical Computer Science, 61(1):1–33, 1979.
R. Feys. Modal Logic. Nauwelaerts, Louvain, 1965.
J. M. Font and P. Hájek. On lukasiewicz's four—valued modal logic. Studia Logica, 26:157–182, 2002.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Vardi. Reasoning About Knowledge. MIT Press, Cambridge, 1995.
R. Fagin, J. Y. Halpern, and M. Y. Vardi. What can machines know? On the properties of knowledge in distributed systems. Journal of the ACM, 39(2):328–376, 1992.
K. Fine. Propositional quantifiers in modal logic. Theoria, 36: 336–346, 1970.
F. Fitch. A logical analysis of some value concepts. Journal of Symbolic Logic, 28:135–142, 1963.
M. C. Fitting. Proof Methods for Modal and Tense Logics. Dordrecht, Reidel, 1983.
M. C. Fitting. Many-valued modal logics I. Fundamenta Informaticae, 15:235–254, 1991.
M. C. Fitting. Many—valued modal logics II. Fundamenta Informaticae, 17:55–73, 1992.
M. C. Fitting. Intensional logic. In Edward N. Zalta, editor, Stanford Encyclopedia of Philosophy, volume http://plato.stanford.edu. Center for the Study of Language and Information—Stanford University, Stanford, 2006.
D. Gabbay. Investigations in Modal and Tense Logics, with Applications to Problems in Linguistics and Philosophy. Dordrecht, Reidel, 1976.
[Gär73] P. Gärdenfors. On the extensions of S5. Notre Dame Journal of Formal Logic, 14:277–280, 1973.
J. W. Garson. Quantification in modal logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, pages 249–307. Dordrecht, Reidel, 1984.
[Gär88] P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics. MIT Press, Cambridge, 1988.
D. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, Oxford, 1994.
D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-Dimensional Modal Logics: Theory and Applications. North Holland, Amsterdam, 2003.
[Göd32] K. Gödel. Zum intuitionistischen aussagenkalkül. Anzeiger der Akademie der Wissenschaften in Wien, 69:65–66, 1932. mathematisch-naturwissenschaftiliche Klasse.
R. Goldblatt. Solution to a completeness problem of Lemmon and Scott. Notre Dame Journal of Formal Logic, 16:405–408, 1975.
R. Goldblatt. The Mathematics of Modality. CLS Publications, Stanford, CA, 1993.
A. Grzegorczyk. Some relational systems and the associated topological spaces. Fundamenta Mathematicæ, 60:223–231, 1967.
R. I. Goldblatt and S. K. Thomason. Axiomatic classes in propositional modal logic. In J. N. Crossley, editor, Algebra and Logic, volume 450 of Lecture Notes in Mathematics, pages 163–173. Springer, Berlin, 1975.
S. Haack. Deviant Logic. Cambridge University Press, Cambridge, 1974.
D. Harel. First-Order Dynamic Logic, volume 68 of Lecture Notes in Computer Science. Springer, Berlin, 1979.
A. Hazen. Counterpart-theoretic semantics for modal logic. The Journal of Philosophy, 76(6):319–338, 1979.
G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen, London, 1968.
G. E. Hughes and M. J. Cresswell. A Companion to Modal Logic. Methuen, London, 1984.
G. E. Hughes and M. J. Cresswell. A companion to modal logic: some corrections. Logique et Analyse, 29:41–51, 1986.
G. E. Hughes and M. J. Cresswell. A New Introduction to Modal Logic. Methuen, London, 1996.
P. W. Humphreys and J. Fetzer. The New Theory of Reference, Kripke, Marcus, and Its Origins, volume 270 of Synthese Library. Kluwer, Dordrecht, 1998.
B. Hanssonand P.Gärdenfors. Aguideto intensionalsemantics. In Modality, Morality and Other Problems of Sense and Nonsense: Essays Dedicated to Sören Halldén, pages 151–167. CWK Gleerup Bokfürlag, Lund, 1973.
C. W. Harvey and J. Hintikka. Modalization and modalities. In T. Seebohm, D. Follesdal, and J. N. Mohanty, editors, Phenomenology and the Formal Sciences, pages 59–77. Kluwer, Amsterdam, 1991.
J. Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, NY, 1962.
J. Hintikka. The modes of modality. Acta Phylosophica Fennica, 16:65–81, 1963.
D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. MIT Press, Cambridge, 2000.
J. Y. Halpern and Y. Moses. A guide to the modal logics of knowledge and belief. In A. K. Joshi, editor, Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI 85), pages 480–490. Morgan Kaufmann, Los Angeles, 1985.
J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319–379, 1992.
W. Hodges. Logic and games. In Edward N. Zalta, editor, Stanford Encyclopedia of Philosophy, volume http://plato.stanford.edu. Center for the Study of Language and Information—Stanford University, Stanford, 2001.
L. Humberstone. Relative necessity revisited. Reports on Mathematical Logic, 13:33–42, 1981.
R. Jansana. Una Introducciòn a la Lògica Modal. Tecnos, Madrid, 1990.
G. Japaridze and D. de Jongh. The logic of Provability. In S. R. Buss, editor, Handbook of Proof Theory, volume 137 of Studies in Logic, pages 475–546. Elsevier, Amsterdam, 1998.
L. Kalmár. Über die Axiomatisierbarkeit des Aussagenkalküls. Acta Scientiarum Mathematicarum, 7:222–243, 1935.
H. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, U.C.L.A, LA, 1968.
R. Kauppi. Über die Leibnizsche Logik mit besonderer Berück-sichtigung des Problems der Intension und der Extension. Acta Philosophica Fennica, 12:1–279, 1960.
W. Kneale and M. Kneale. The Development of Logic. Clarendon Press, Oxford, 1962.
D. Kalish and R. Montague. Logic. Techniques of Formal Reasoning. Harcourt, Brace & World, New York, 1964.
D. Kozen. On the representation of dynamic algebras. Technical Report RC7898, IBM Thomas J. Watson Research Center, October 1979.
D. Kozen. A representation theorem for modelsof *-freePDL.In Automata, Languages and Programming — Lecture Notes in Computer Science, Lecture Notes in Computer Science, pages 351–362. Springer, Berlin, 1980.
M. Kracht. How completeness and correspondence theory got married. In M. de Rijke, editor, Diamonds and Defaults. Kluwer, Dordrecht, 1993.
S. Kripke. A completeness theorem in modal logic. The Journal of Symbolic Logic, 24:1–14, 1959.
[Kri63a] S. Kripke. Semantic analysis of modal logic I, normal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 9:67–96, 1963.
[Kri63b] S. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83–94, 1963.
S. Kripke. Semantical analysis of intuitionistic logic I. In J. N. Crossley and M. A. E. Dummett, editors, Formal Systems and Recursive Functions—Proceedings of the Eighth Logic Colloquium Oxford, July 1963, pages 92–130. North-Holland, Amsterdam, 1965.
[Krö87] F. Kröger. Temporal Logic of Programs. Springer, New York, 1987.
S. Kuhn. Quantifiers as modal operators. Studia Logica, 39: 145–158, 1980.
S. Kuhn. The domino relation: flattening a two-dimensional logic. Journal of Philosophical Logic, 18:173–195, 1989.
[Lem66a] E. J. Lemmon. Algebraic semantics for modal logics I. The Journal of Symbolic Logic, 31(1):44–65, 1966.
[Lem66b] E. J. Lemmon. Algebraic semantics for modal logics II. The Journal of Symbolic Logic, 31(2):191–218, 1966.
[Lem66c] E. J. Lemmon. A note on Halldén incompleteness. Notre Dame Journal of Formal Logic, 7:296–300, 1966.
W. Lenzen. Recent work on epistemic logic. Acta Philosophica Fennica, 30:1–219, 1978.
W. Lenzen. Epstemologische betrachtungen zu S4, S5. Erkenntnis, 14:33–56, 1979.
W. Lenzen. Glauben, Wissen und Wahrscheinlichkeit. Springer, Vienna, 1980.
D. Lewis. Convention: A Philosophical Study. Harvard University Press, Cambridge, MA, 1969.
L. Linsky. Reference and Modality. Oxford Readings in Philosophy, Oxford University Press, Oxford, 1971.
C. I. Lewis and C. H. Langford. Symbolic Logic. The Appleton-Century Company, New York, 1932. reprinted in paperback by Dover Publications, New York, 1951.
[Löb55] M. H. Löb. Solution of a problem of Leon Henkin. The Journal of Symbolic Logic, 20(2):115–118, 1955.
P. Lorenzen. Einführung in die operative Logik und Mathematik. Springer, Berlin, 1955.
E. J. Lemmon and D. Scott. An Introduction to Modal Logic. Blackwell, Oxford, 1977.
[Łuk70] J. Łukasiewicz. A system of modal logic. In L. Borkowski, editor, Jan Łukasiewicz's Selected Works. North-Holland, Amsterdam, 1970.
[Mag82]R. Magari. Primi risultati sulla varietà di Boolos. Bollettino della Unione Matematica Italiana, 6:359–367, 1982.
D. Makinson. On some completeness theorems in modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 12:379–384, 1966.
D. Makinson. A normal modal calculus between T and S4 without the finite model property. The Journal of Symbolic Logic, 34:35–38, 1969.
D. Makinson. A generalization of the concept of a relational model for modal logic. Theoria, 36:331–335, 1970.
A. B. Manaster. Completeness, Compactness and Undecidability. An Introduction to Mathematical Logic. Prentice Hall, Englewood Cliffs, NJ, 1975.
N. M. Martin. Systems of Logic. Cambridge University Press, Cambridge, 1989.
B. Mates. The Philosophy of Leibniz: Metaphysics and Language. Oxford University Press, New York, 1989.
C. McGinnis. Tableau systems for some paraconsistent modallogics. Electronic Notes in Theoretical Computer Science, 143: 141–157, 2006.
E. Mendelson. Introduction to Mathematical Logic. van Nostrand, Princeton, NJ, 1964.
J. J. Meyer. Modal epistemic and doxastic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 10, pages 1–38. Kluwer, Dordrecht, 2003.
J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of Artificial Intelligence. Machine Intelligence, 4:463–502, 1969.
R. Montague. Universal grammar. Theoria, 36:373–398, 1970.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Berlin, 1992.
J. C. C. McKinsey and A. Tarski. Some theorems about the sentential calculi of Lewis and Heyting. The Journal of Symbolic Logic, 13:1–15, 1948.
M. Mugnai. Introduzione alla Filosofia di Leibniz. Einaudi, Turin, 2001.
M. Marxand Y. Venema. Multi-DimensionalModalLogic. Kluwer, Dordrecht, 1997.
[OM57a] M. Ohnishi and K. Matsumoto. Corrections to our paper ‘Gentzen method in modal calculi I’. Osaka Mathematical Journal, 10:147, 1957.
[OM57b] M. Ohnishi and K. Matsumoto. Gentzen method in modal calculi I. Osaka Mathematical Journal, 9:113–130, 1957.
[OM57c] M. Ohnishi and K. Matsumoto. Gentzen method in modal calculi II. Osaka Mathematical Journal, 11:115–120, 1957.
D. Park. Concurrency and automata on infinite sequences. In P. Deussen, editor, Theoretical Computer Science, volume 104 of Lecture Notes in Computer Science, pages 167–183. Springer, Berlin, 1981.
F. J. Pelletier. A history of natural deduction and elementary logic textbooks. In J. Woods and B. Brown, editors, Logical Consequence: Rival Approaches, volume 1, pages 105–138. Hermes Science Publications, Oxford, 2000.
A.-V. Pietarinen. Peirce's conributions to possible—worlds semantics. Studia Logica, 82:345–369, 2006.
C. Pizzi. La Logica del Tempo. Boringhieri, Turin, 1974.
A. Plantinga. The Nature of Necessity. Clarendon Press, Oxford, 1974.
S. Popkorn. First Steps in Modal Logic. Cambridge University Press, Cambridge, 1994.
D. Prawitz. Natural Deduction. A Proof-Theoretical Study. Almquist and Wiksell, Stockholm, 1965. Second edition by Dover Publications, 2006.
V. R. Pratt. Semantical considerations on Floyd-Hoare logic. In Proceedings of the 17th Annual IEEE Symposium on Foundations of Computer Science, pages 109–121. IEEE, 1976.
V. R. Pratt. Origins of the calculus of binary relations. In Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, pages 248–254. IEEE, 1992.
A. N. Prior. Time and Modality. Oxford University Press, Oxford, 1957.
A. N. Prior. Past, Present and Future. Clarendon Press, Oxford, 1967.
A. N. Prior. Papers on Time and Tense. Clarendon Press, Oxford 1968.
W. Rautenberg. Klassische und nichtklassische Aussagenlogik. Friedr. Vieweg & Sohn, Braunschweig, 1979.
H. Reichenbach. Elements of Symbolic Logic. Macmillan, New York, 1947. Reprinted by Dover, 1980.
M. K. Rennie. Models for multiply modal systems. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 16:175–186, 1970.
N. Rescher and A. Urquhart. Temporal Logic. Springer, Vienna, 1971.
V.V. Rybakov. Admissibility of Logical Inference Rules. Elsevier Science, Amsterdam, 1997.
H. Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logic. In S. Kanger, editor, Proceedings of 3th Scandinavian Logic Symposium, pages 110–143. North-Holland, Amsterdam, 1975.
T. Schelling. The Strategy of Conflict. Harvard University Press, Cambridge, MA, 1960.
K. Schütte. Vollständige Systeme modaler und intuitionistischer Logik. Springer, Berlin, 1968. Vol. 42 of Ergebnisse der Mathematik und ihrer Grenzgebiete.
G. F. Schumm. Some compactness results for modal logic. Notre Dame Journal of Formal Logic, 30:285–290, 1989.
G. Schurz. Rudolf carnap's modal logic. In W. Stelzner and M. Stöckler, editors, Zwischen traditioneller un moderner Logik. Nichtklassische Ansätze, pages 365–380. Mentis, Paderborn, 2001.
D. Scott. Advice on modal logic. In K. Lambert, editor, Philosophical Problems in Logic. Some Recent Developments, pages 143–173. Reidel, Dordrecht, 1970.
S. J. Scroggs. Extensions of the Lewis system S5. The Journal of Symbolic Logic, 16:112–120, 1951.
K. Segerberg. Some modal logics based on a three-valued logic. Theoria, 33:53–71, 1967.
K. Segerberg. On the logic of tomorrow. Theoria, 31:199–217, 1968.
K. Segerberg. Modal logics with linear alternative relations. Theoria, 36:301–322, 1970.
K. Segerberg. An Essay in Classical Modal Logic. University of Uppsala, Uppsala, 1971.
K. Segerberg. Two-dimensional modal logic. Journal of Philosophical Logic, 2:77–96, 1973.
K. Segerberg. A completeness theorem in the modal logic of programs. Notices of the American Mathematical Society, 4(6): 1–552, 1977.
K. Segerberg. Classical Propositional Operators: An Exercise in the Foundations of Logic. Clarendon Press, Oxford 1982.
K. Segerberg. Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4):535–553, 1995.
C. Smorynski. Self-Reference and Modal Logic. Springer, New York, 1985.
R. M. Smullyan. First-Order Logic. Springer, New York, 1968.
R. Solovay. Provability interpretations of modal logic. Israel Journal of Mathematics, 25:287–304, 1976.
B. Tapscott. Correcting the tableaux procedure for S4. Notre Dame Journal of Formal Logic, 25:241–249, 1984.
A. Tarski. On the calculus of relations. The Journal of Symbolic Logic, 6(3):73–89, 1941.
R. H. Thomason. Some completeness results in modal predicate calculus. In K. Lambert, editor, Philosophical Problems in Logic, pages 56–76, Reidel, Dordrecht, 1970.
S. K. Thomason. Noncompactness in propositionalmodal logic. The Journal of Symbolic Logic, 37:716–720, 1972.
S. K. Thomason. An incompleteness theorem in modal logic. The Journal of Symbolic Logic, 40:30–34, 1974.
A. Urquhart. Decidability and finite model property. The Journal of Philosophical Logic, 10:367–370, 1981.
J. van Benthem. Modal Correspondence Theory. PhD thesis, University of Amsterdam, Amsterdam, 1976.
J. van Benthem. Two simple incomplete logics. Theoria, 44: 25–37, 1978.
[vB83a] J. van Benthem. The Logic of Time. A Model Theoretic Investigation in to the Varieties of Temporal Discourse. Reidel, Dordrecht, 1983.
[vB83b] J. van Benthem. Modal Logic and Classical Logic. Bibliopolis, Naples, 1983.
J. van Benthem. Correspondence theory. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, pages 167–247. Reidel, Dordrecht, 1984.
Y. Venema . Many-Dimensional Modal Logic. PhD thesis, Department of Mathematics, University of Amsterdam, Amsterdam, 1993.
W. v. O. Quine. The ways of Paradox and Other Essays. Random House, New York, 1966.
G. H. von Wright. Logical Studies. Routledge & Kegan, London, 1957.
G. H. von Wright. And next. Acta Philosophica Fennica, 18:293– 304, 1965.
G. H. von Wright. Wittgenstein. Blackwell, Oxford, 1982.
M. Wajsberg. Ein erweiteter Klassenkalkul. Monatshefte für Mathematik und Physik, 40:113–126, 1933.
T. Williamson. On intuitionistic modal epistemic logic. Journal of Philosophical Logic, 21:63–89, 1992.
T. Williamson. Knowledge and Its Limits. Oxford University Press, Oxford, 2000.
L. Wittgenstein. Tractatus Logico-Philosophicus. Routledge, London, 2001. David Pears and Brian McGuinness, translators.
M. Xu. On some US-tense logics. Journal of Philosophical Logic, 17(2):181–202, 1988.
J. J. Zeman. Modal Logic. Clarendon Press, Oxford 1973.
Rights and permissions
Copyright information
© 2008 Springer Science + Business Media B.V
About this chapter
Cite this chapter
(2008). Modal logic and standard logic. In: Modalities and Multimodalities. Logic, Epistemology, and the Unity of Science, vol 12. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-8590-1_1
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8590-1_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-8589-5
Online ISBN: 978-1-4020-8590-1
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)