Kripke frame

Noun

Meaning

Kripke frame (plural Kripke frames)

(logic) A set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation.

Source: en.wiktionary.org

Close letter words and terms

Krio Kriol kriophoros Kripke model Kripke semantics Kripkean