← Back to search

Meaning of Kripke frame | Babel Free

Noun CEFR B2

Definitions

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

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Kripke model Kripkenstein Kris Kris Kringel Kris Kringle Kris Kringle Mart