Saul Aaron Kripke (1940–2022) was an American philosopher and logician. He is best known for his work on modal logic, in particular the possible worlds semantics discussed at geometric model for modal logics, and for related work in metaphysics, especially in Naming and Necessity.
On S4/S5-modal logic and its geometric models that came to be called Kripke frames/Kripke models/possible worlds semantics:
Saul A. Kripke, A Completeness Theorem in Modal Logic, The Journal of Symbolic Logic 24 1 (1959) 1-14 [doi:10.2307/2964568, jstor:2964568, pdf]
Saul A. Kripke, Semantical Considerations on Modal Logic, Acta Philosophical Fennica 16 (1963) 83-94 [pdf]
Saul A. Kripke, Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi, Mathematical Logic Quaterly 9 5-6 (1963) 67-96 [doi:10.1002/malq.19630090502]
Saul A. Kripke, Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi, in The Theory of Models (Proceedings of the 1963 International Symposium at Berkeley) Studies in Logic and the Foundations of Mathematics (1965) 206-220 [doi:10.1016/B978-0-7204-2233-7.50026-5]
On the philosophy of language?:
Last revised on September 20, 2026 at 13:25:45. See the history of this page for a list of all contributions to it.