Kripke frame

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

Named after Saul Kripke.

Noun[edit]

Kripke frame (plural Kripke frames)

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

Holonyms[edit]

Retrieved from "https://en.wiktionary.org/w/index.php?title=Kripke_frame&oldid=42683492"