Eine relationale Struktur (W,R) bestehend aus einer nichtleeren Menge W von möglichen Welten und einer binären Zugänglichkeitsrelation R ⊆ W×W, die zur Interpretation von modalen oder temporalen Operatoren unabhängig von einer Bewertung atomarer Aussagen dient.

Prinzip

Modale Wahrheit wird relativ zu Welten und deren Beziehungen bewertet: Die Zugänglichkeitsrelation kodiert die modal- oder zeitlogischen Beschränkungen, die bestimmen, wie Wahrheit zwischen Welten weitergegeben wird (z. B. erfordert Notwendigkeit Wahrheit in allen zugänglichen Welten).

Demonstration

Ein Rahmen für eine temporale 'next'-Modality kann ein gerichteter Graph sein, dessen Knoten Programmzustände und dessen Kanten die 'next'-Transition modellieren; Eigenschaften von R (z. B. Reflexivität, Transitivität) entsprechen modalen Axiomen wie T oder S4.

Fehlanwendung

Einen Rahmen mit einem vollständigen Kripke-Modell verwechseln, indem man annimmt, er enthalte Wahrheitszuweisungen; Rahmen-Eigenschaften als semantische Wahrheiten über die Domäne auffassen statt als Bedingungen, die Klassen von Rahmen charakterisieren, für die bestimmte Formeln gültig sind.

Konsequenz

Rahmen klassifizieren und trennen modale Logiken durch strukturelle Beschränkungen an R; Rahmenbedingungen ermöglichen Korrespondenz- und Vollständigkeitsresultate, die Axiome mit relationalen Eigenschaften verbinden.

Umkehrung

Ein Kripke-Modell ist die Umkehrung: Es erweitert einen Rahmen durch Hinzufügen einer Bewertung, die atomaren Aussagen in jeder Welt Wahrheitswerte zuweist; nur von Bewertungen ohne Relation zu sprechen, verliert die modale Struktur.

Abgrenzung

Gilt für relationale Semantiken modaler, temporaler und intuitionistischer Varianten, in denen Welten und Zugänglichkeit sinnvoll sind; Rahmen spezifizieren keine Bewertungen, Wahrscheinlichkeiten, intentionale Interpretationen oder algebraischen Äquivalente, sofern nicht explizit ergänzt.

Semantische Spannung

Steht im Wettbewerb mit algebraischer oder Nachbarschaftssemantik: Rahmen betonen relationale, weltbasierte Struktur, während alternative Semantiken Modalität durch algebraische Operationen oder Mengen von Nachbarschaften kodieren; die metaphorische Lesart von 'möglichen Welten' konkurriert mit einer rein technischen relationalen Sicht.

Synthese

Ein Kripke‑Rahmen ist das abstrakte relationale Substrat (W,R), das festhält, wie Modalitäten Welten verbinden; durch die Trennung von Struktur und Bewertung erlaubt er die Untersuchung, wie Zugänglichkeitsbeschränkungen Gültigkeit und Korrespondenzen zwischen modalen Systemen beeinflussen.