411 REFERENCE · Wiktionary
Kripke frame
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after Saul Kripke.
Noun
en logic A set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation.
Holonyms
en Kripke model
en eponyms