Kripke frame en · NOUN
Etymology
Named after Saul Kripke.
Meanings
- A set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Kripke frames | Number=Plur | lexicographic |