Jump to content

Kripke frame

From Wiktionary, the free dictionary

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=82060099"