Kripke Semantics
Kripke semantics (also called possible worlds semantics) is the standard formal framework for interpreting modal logics. Developed by Saul Kripke in the late 1950s and 1960s, it provides a mathematically rigorous semantics for modal operators by introducing a set of possible worlds connected by an accessibility relation. This framework is what allows modal axioms to be systematically connected to structural conditions on frames, giving modal logic its mathematical depth. 1
Core Framework
A Kripke frame is a pair ⟨W, R⟩ where:
- W is a non-empty set of possible worlds
- R is a binary relation on W (the accessibility relation): wRv means “world v is accessible from world w”
A Kripke model adds a valuation function v that assigns truth values to propositional variables at each world: v(p, w) ∈ {T, F}.
The truth of modal formulas is then defined recursively:
- ¬A: v(¬A, w) = T iff v(A, w) = F
- A → B: v(A → B, w) = T iff v(A, w) = F or v(B, w) = T
- □A: v(□A, w) = T iff for every world v such that wRv, v(A, v) = T
- ◇A: v(◇A, w) = T iff for some world v such that wRv, v(A, v) = T
The box operator thus quantifies over accessible worlds: □A is true at w when A holds in every world that w can “see.” The diamond requires A to hold in at least one accessible world. 1
Why Accessibility Matters
In the simplest semantics (used for S5), □A means “A is true in all possible worlds” — the accessibility relation is universal. But this is too strong for most applications. The accessibility relation R allows us to restrict which worlds are relevant:
- For alethic necessity: R can be unrestricted (S5) or constrained to “nearby” worlds
- For temporal logic: wRv means v is a future moment of w — R is transitive and irreflexive
- For deontic logic: wRv means v is a morally acceptable variant of w — R is serial but not reflexive
- For epistemic logic: wRv means v is consistent with what the agent knows at w
The beauty of Kripke semantics is that different choices of R correspond exactly to different modal axiom systems. This correspondence theory is the central bridge between syntax (axioms) and semantics (frame conditions). 1
The Correspondence Between Axioms and Frame Conditions
Each standard modal axiom corresponds to a specific property of the accessibility relation R:
| Axiom | Formula | Condition on R | Property |
|---|---|---|---|
| (D) | □A → ◇A | ∃u: wRu | Serial |
| (M)/(T) | □A → A | wRw | Reflexive |
| (4) | □A → □□A | (wRv ∧ vRu) → wRu | Transitive |
| (B) | A → □◇A | wRv → vRw | Symmetric |
| (5) | ◇A → □◇A | (wRv ∧ wRu) → vRu | Euclidean |
| (C4) | □□A → □A | wRv → ∃u(wRu ∧ uRv) | Dense |
| (C) | ◇□A → □◇A | Convergent | Convergent |
A modal logic system K+S (K plus a set of axioms S) is sound and complete for the class of frames satisfying the corresponding conditions F(S). This means: an argument is provable in the system if and only if it is valid on all frames with those structural properties. 1
Validity and Completeness
An argument is valid for a class of frames if every model based on a frame in that class that makes the premises true at a world also makes the conclusion true at that world. The fundamental result of modal logic is that each standard system is adequate (sound and complete) for its corresponding class of frames:
- K is complete for all frames
- T is complete for reflexive frames
- S4 is complete for reflexive and transitive frames
- S5 is complete for equivalence relations (reflexive, transitive, symmetric)
S5 and Equivalence Relations
For S5, the accessibility relation is an equivalence relation (reflexive, transitive, and symmetric). This partitions W into equivalence classes where every world sees every other world in the same class. Within each class, the modal status of any proposition is uniform: if A is necessary at one world, it is necessary at all worlds in that class. This is why S5 allows arbitrary reduction of modal operator strings — there is no deeper level of modality to access by iteration. 2
Historical Note
The possible worlds framework was anticipated by Leibniz’s notion of “all possible worlds,” but the rigorous mathematical development is due to Kripke, Hintikka, and others in the 1950s–60s. Kripke’s contribution was showing that the accessibility relation could be varied to produce different modal logics, unifying what had been a disparate collection of axiomatic systems under a single semantic framework. 1
See Also
- modal-logic — Overview of the modal logic family and the hierarchy of systems
- s5-modal-logic — S5 system; characterized by equivalence relations in Kripke semantics
- gottfried-wilhelm-leibniz — Possible worlds pioneer; the ontological argument in S5
- possibilism-actualism — Ontological debate concerning the status of merely possible objects
- aristotle — Aristotelian essentialism about natural kinds revived by Kripke’s Naming and Necessity
References
- Garson, J. (2023). “Modal Logic.” Stanford Encyclopedia of Philosophy. 1
- Kripke, S. (1963). “Semantical Analysis of Modal Logic I.” Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 9, 67–96.
- Lemmon, E. J. & Scott, D. (1977). An Introduction to Modal Logic. — The General Axiom (hijk-convergence).