Kripke‑Rahmen

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.