Kripke‑Semantik

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Der relationale semantische Rahmen, der Formeln Wahrheit zuweist, indem er sie in Welten eines Kripke‑Rahmens zusammen mit einer Bewertung auswertet; Modalitäten werden über die Zugänglichkeitsrelation interpretiert, die Welten verbindet.