Word.ws English Dictionary

Kripke frame

Kripke frame noun: a set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation.

Noun

Kripke frame (plural Kripke frames)

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

Forms of Kripke frame

pluralKripke frames

Origin of Kripke frame

Named after Saul Kripke.

Questions about Kripke frame

What does Kripke frame mean?
Kripke frame means a set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation.
What part of speech is Kripke frame?
Kripke frame is a noun.
What is the plural of Kripke frame?
The plural of Kripke frame is Kripke frames.

Words near Kripke frame in the dictionary

  1. kriophoros
  2. Kripa
  3. Kripacharya
  4. Kripi
  5. Kripke
  6. Kripke frame
  7. Kripke frames
  8. Kripke model
  9. Kripke models
  10. Kripkean
  11. Kripkenstein

Source and license

Adapted from Wiktionary: Kripke frame (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Kripke frame.” Word.ws, https://word.ws/kripke_frame. Based on Wiktionary, CC BY-SA 4.0.