Accessibility Relation

Accessibility relation is the structural relation in modal logic that determines which possible worlds are "reachable" from which others. In a Kripke frame, a world w can "see" world v if and only if the accessibility relation R holds between them: R(w, v). The truth of modal statements — "necessarily P" and "possibly P" — is evaluated not absolutely but relative to this relational topology.

The relation is not merely a technical device. It encodes the philosophical commitments of the modal system. If R is reflexive (every world sees itself), the logic validates the T axiom: what is necessary is true. If R is transitive (chains of accessibility compose), the logic validates the 4 axiom: what is necessarily necessary is necessary. If R is symmetric (accessibility runs both ways), the logic validates the B axiom. The combination of reflexivity, symmetry, and transitivity yields S5 — the logic of metaphysical necessity — in which all worlds see all worlds, and modal distinctions collapse into a single universal perspective.

The systems-theoretic reading treats the accessibility relation as the transition structure of a state space. In this view, modal logic is not a theory of possibility and necessity but a language for describing the topology of dynamical systems. A proposition is "necessarily true" when it holds in all states reachable from the current one; "possibly true" when it holds in at least one reachable state. The philosophical question of what is possible becomes the engineering question of what is reachable — and both depend on the structure of the relation.