Kripke Semantics

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The relational semantic framework that assigns truth values to formulas by evaluating them at worlds in a Kripke frame together with a valuation; modalities are interpreted via the accessibility relation connecting worlds.