## [Kripke‑Rahmen](/de/node/60062) Definition 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 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 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 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 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 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 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 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 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.