Modal Systems and Their Axioms

Different modal axioms encode different conceptions of necessity, and each corresponds to a structural condition on the accessibility relation.

Definition

A normal modal system is a set of theorems closed under the rules of classical logic plus the distribution axiom K and the necessitation rule, with stronger systems obtained by adding characteristic axioms that correspond to properties of the accessibility relation.

Scope

This topic covers the standard hierarchy of normal modal systems built on the base system K by adding axioms such as T (reflexivity), 4 (transitivity), B (symmetry), and 5 (Euclideanness), yielding systems like T, S4, and S5. It treats correspondence theory — the systematic match between modal axioms and frame conditions — together with soundness, completeness, and the question of which system best captures metaphysical, logical, or epistemic necessity.

Core questions

• Which axioms should govern a given kind of necessity?
• How do modal axioms correspond to conditions on the accessibility relation?
• Is S5 the right logic of metaphysical necessity, or is a weaker system more appropriate?
• What do soundness and completeness results establish for these systems?

Key concepts

• system K and necessitation
• axioms T, 4, B, 5
• reflexive, transitive, symmetric, Euclidean frames
• correspondence theory
• S4 and S5
• completeness via canonical models

Key theories

Correspondence theory

Each characteristic modal axiom corresponds to a property of the accessibility relation — T to reflexivity, 4 to transitivity, B to symmetry, 5 to Euclideanness — so that a system is sound and complete with respect to the class of frames meeting those conditions.

Strict implication and the Lewis systems

C. I. Lewis introduced the systems S1-S5 to formalize strict implication and avoid the paradoxes of material implication, founding the modern axiomatic study of modality.

History

Lewis and Langford's 1932 Symbolic Logic introduced the systems S1-S5 axiomatically. After Kripke's relational semantics, correspondence theory revealed the systematic link between axioms and frame conditions, and completeness was established via canonical-model constructions, codified in textbooks such as Hughes and Cresswell.

Debates

Which system captures metaphysical necessity?

Whether the logic of metaphysical necessity is the strong S5, on which what is possible is non-contingently possible, or a weaker system that allows the space of possibilities itself to vary across worlds.

Key figures

• C. I. Lewis
• Saul Kripke
• G. E. Hughes
• M. J. Cresswell
• Johan van Benthem

Seminal works

• lewislangford1932
• hughescresswell1996

Frequently asked questions

What is the difference between S4 and S5?

S4 adds the axiom that what is necessary is necessarily necessary (transitive accessibility). S5 further adds that what is possible is necessarily possible (the accessibility relation becomes an equivalence relation). In S5 the modal status of any sentence is itself non-contingent, which many take to fit metaphysical necessity.