Kripke-frame Definition

noun

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

Wiktionary

Other Word Forms of Kripke-frame

Noun

Singular:
kripke-frame
Plural:
Kripke frames

Related Articles

Find Similar Words

Find similar words to kripke-frame using the buttons below.

Words Starting With

KKRKRI

Words Ending With

EMEAME

Unscrambles

kripke-frame

Words Starting With K and Ending With E

Starts With K & Ends With EStarts With KR & Ends With EStarts With K & Ends With ME

Word Length

12 Letter Words12 Letter Words Starting With K12 Letter Words Ending With E