Skip to main content
×
×
Home
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 1
  • Cited by
    This chapter has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Iourinski, Dmitri and For, Je X. 2007. Semantical Models for Evidential Frameworks. p. 155.

    ×
  • Print publication year: 2011
  • Online publication date: June 2012

5 - Kripke Models

Summary
Saul Kripke has made fundamental contributions to a variety of areas of logic. The task of devising a model theory for modal logic was really a series of tasks, of devising a model theory for each of the various systems. Or rather, it was to devise a general type of model theory which, by varying certain conditions, could produce specific model theories for which the various systems would be sound and complete. Kripke's model theory for modal predicate logic is related to his model theory for modal sentential logic rather as the standard model theory for nonmodal predicate logic is related to the standard model theory for nonmodal sentential logic. There is more of a gap between Kripke's formal models for intuitionistic logic, and Brouwer's and Heyting's explanations of the intended meaning of intuitionistic negation and other logical operators.
Recommend this book

Email your librarian or administrator to recommend adding this book to your organisation's collection.

Saul Kripke
  • Online ISBN: 9780511780622
  • Book DOI: https://doi.org/10.1017/CBO9780511780622
Please enter your name
Please enter a valid email address
Who would you like to send this to *
×
References
Boolos, George 1993 The Logic of ProvabilityCambridgeCambridge University Press
Bull, R. ASegerberg, Krister 1984 Gabbay, D. M.Guenthner, F.Handbook of Philosophical LogicDordrechtD. Reidel
Burgess, John P 1981 The Completeness of Intuitionistic Propositional Calculus for Its Intended InterpretationNotre Dame Journal of Formal Logic 22 17
Carnap, Rudolf 1946 Modalities and QuantificationJournal of Symbolic Logic 11 33
Cocchiarella, Nino 1984 Gabbay, D. M.Guenthner, F.Handbook of Philosophical LogicDordrechtD. Reidel
Fitch, Frederic 1949 The Problem of the Morning Star and the Evening StarPhilosophy of Science 16 137
Garson, James W 1984 Gabbay, D. M.Guenthner, F.Extensions of Classical LogicDordrechtD. Reidel
Gödel, Kurt 1932 Eine Interpretation des intuitionistischen AussagenkalkülsErgebnisse eines mathematischen Kolloquiums 4 39
Halldèn, Søren 1963 A Pragmatic Approach to Modal TheoryActa Philosophical Fennica 16 53
Heyting, Arend 1956 Intuitionism: An IntroductionAmsterdamNorth-Holland
Hintikka, Jaakko 1963 The Modes of ModalityActa Philosophica Fennica 16 65
Hintikka, Jaakko 1982 Is Alethic Modal Logic Possible?Acta Philosophica Fennica 35 89
Jónsson, BjarniTarski, Alfred 1951 Boolean Algebras with OperatorsAmerican Journal of Mathematics 73 891
Kanger, Stig 1957 Provability in LogicStockholmAlmqvist and Wiksell
Kanger, Stig 2001 Collected Papers of Stig Kanger with Essays on His Life and WorkHolmström-Hintikka, G.Lindström, S.Sliwinski, R.DordrechtKluwer
Kripke, Saul 1959 A Completeness Theorem in Modal LogicJournal of Symbolic Logic 24 1
Kripke, Saul 1962 The Undecidability of Monadic Modal Quantification TheoryZeitschrift für mathematische Logik und Grundlagen der Mathematik 8 113
Kripke, Saul 1963 Semantical Considerations on Modal LogicActa Philosophica Fennica 16 83
Kripke, Saul 1963 Semantical Analysis of Modal Logic I. Normal Propositional CalculiZeitschrift für mathematische Logik und Grundlagen der Mathematik 9 67
Kripke, Saul 1963 Crossley, J. N.Dummett, M. A. E.Formal Systems and Recursive FunctionsAmsterdamNorth-Holland
Kripke, Saul 1965 Addison, J. W.Henkin, L.Tarski, A.The Theory of ModelsAmsterdamNorth-Holland
Kripke, Saul 1971 Munitz, M. K.Identity and IndividuationNew YorkNew York University Press
Kripke, Saul 1972 Davidson, D.Harman, G.Semantics of Natural LanguageDordrechtReidel
Lewis, C. I 1918 A Survey of Symbolic LogicBerkeleyUniversity of California Press
Lewis, C. ILangford, H. 1932 Symbolic LogicNew YorkCentury Company
Lindström, Sten 1998 Humphreys, P. W.Fetzer, J. H.The New Theory of Reference: Marcus, Kripke, and Its OriginsDordrechtKluwer
Marcus, Ruth Barcan 1946 A Functional Calculus of First Order Based on Strict ImplicationJournal of Symbolic Logic 11 1
Marcus, Ruth Barcan 1947 Identity and Individuals in a Strict Functional Calculus of First OrderJournal of Symbolic Logic 12 3
Marcus, Ruth Barcan 1960 ExtensionalityMind 69 55
Marcus, Ruth Barcan 1963 Wartofsky, M.Proceedings of the Boston Colloquium for the Philosophy of Science 1961/1962DordrechtReidel
Marcus, Ruth Barcan 1963 Classes and Attributes in Extended Modal SystemsActa Philosophica Fennica 16 123
McKinsey, J. C. CTarski, Alfred 1948 Some Theorems About the Sentential Calculi of Lewis and HeytingJournal of Symbolic Logic 13 1