Abstract
Modal logics address uncertainty about truth values of statements by introducing and discussing the notion of possibility of truth in addition to the necessity of truth. In this, modal logics trespass the boundary between the realm of dichotomy true-false into the less transparent realm of certainly true-possibly true. As the latter is less rigorous about truth and the notions of necessity and possibility are open to various interpretations, the result is the existence of many variants of modal logics. We will follow in this chapter some line of more and more complex interpretations of necessity and possibility as well as their mutual relations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Smith, R.: Aristotle’s Logic. The Stanford Encyclopedia of Philosophy (Fall 2020 Edition), Zalta, E.N.(ed.). https://plato.stanford.edu/archives/fall2020/entries/aristotle-logic
Bobzien, S.: Stoic logic. In: Inwood, B. (ed.) The Cambridge Companion to Stoic Philosophy. Cambridge University Press (2003)
Knuuttila, S.: Medieval Theories of Modality. The Stanford Encyclopedia of Philosophy (Summer 2021 Edition), Zalta, E.N. (ed.). https://plato.stanford.edu/archives/sum2021/entries/modality-medieval/
Lewis, C.I.: A Survey of Symbolic Logic. Berkeley: University of California Press; reprinted: Dover Publications (1960) (without Chs. 5, 6)
Carnap, R.: Meaning and Necessity. University of Chicago Press (1947, 1956)
Kripke, S.: Semantical analysis of modal logic I: Normal modal propositional calculi. Z. Math. Logik und Grundlagen der Mathematik 9(5-6), 67-96 (1963). https://doi.org/10.1002/malq.19630090502
Fitting, M.C.: Intuitionistic Logic Model Theory and Forcing. North-Holland Publishing Co., Amsterdam (1969)
Fitting, M.C.: Model existence theorems for modal and intuitionistic logics. J. Symb. Logic 38, 613–627 (1973)
Fitting, M.C.: Proof Methods for Modal and Intuitionistic Logics. Springer Science+Business Media, Dordrecht (1983)
Ohnishi, M., Matsumoto, K.: Gentzen method for modal calculi I, II. Osaka Math. J. 9, 113–130 (1957); 11, 115–120 (1959)
Henkin, L.: The completeness of the first-order functional calculus. J. Symb. Logic 14(3), 159–166 (1949)
Chellas, B.F.: Modal Logic. An Introduction. Cambridge University Press, Cambridge UK (1980)
Ladner, R.E.: The computational complexity of provability in systems of modal propositional logic. SIAM J. Comput. 6(3), 467–480 (1977)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge UK (2001)
Halpern, J., Moses, Y.O.: A guide to completeness and complexity for modal logics of knowledge and belief. Artif. Intell. 54(2), 319–379 (1992)
Nelson, M.: Propositional Attitude Reports. The Stanford Encyclopedia of Philosophy (Spring 2022 Edition), Zalta, E.N. (ed.). https://plato.stanford.edu/archives/spr2022/entries/prop-attitude-reports
Marcus, R.B.: A functional calculus of first order based on strict implication. J. Symb. Logic 11, 1–16 (1946)
Kripke, S.: Semantical considerations on modal logic. Acta Philosophica Fennica 16, 83–94 (1963)
Fitting, M.C., Mendelson, R.L.: First-Order Modal Logic. Springer Business+Media B.V, Dordrecht (1998)
Fitting, M.C.: Tableau methods of proof for modal logics. Notre Dame J. Form. Logic 13, 237–247 (1972)
Gorë, R.: Tableau methods for modal and temporal logics. In: D’Agostino, M., et al. (eds.) Handbook of Tableau Methods. Kluwer, Dordrecht (1998)
Heyting, A.: Die formalen Regeln der intuitionistischen Logik, Preussischen Akademie der Wissenschaften. Physikalisch-mathematische Klasse, pp. 42–56, 57–71 & 158–169 (1930)
Gödel, K.: Eine Interpretation des intuitionistischen Aussagenkalküls. Ergebnisse eines mathematischen Kolloquiums 4, 39–40 (1933). (English transl.: Interpretation of the intuitionistic sentential logic. In: Hintikka, J.K.K. (ed.):The Philosophy of Mathematics, Oxford University Press, 128–129 (1969))
Schütte, K.: Vollständige Systeme modaler und intuitionistischer Logik. Springer, Berlin (1968)
Kripke, S.: Semantical analysis of intuitionistic logic I, Formal Systems and Recursive Functions. In: Proceedings of the Eighth Logic Colloquium, Oxford 1963, pp. 92–130. North-Holland Publishing Co. (1965)
Wajsberg, M.: Untersuchungen über den Aussagenkalkül von A. Heyting. Wiadomości Matematyczne 4, 45–101 (1938). (also in: Logical Works by Mordechaj Wajsberg, Surma, S. (ed.), Polish Acad. Sci. 132, 171, (1977))
Beth, E.W.: The Foundations of Mathematics. A Study in the Philosophy of Science. Harper & Row Publishers, New York (1966)
Smullyan, R.M.: First Order Logic. Dover, Minneola N.Y (1996)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Polkowski, L.T. (2023). Modal and Intuitionistic Logics. In: Logic: Reference Book for Computer Scientists. Intelligent Systems Reference Library, vol 245. Springer, Cham. https://doi.org/10.1007/978-3-031-42034-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-031-42034-4_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-42033-7
Online ISBN: 978-3-031-42034-4
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)