English Explanatory Dictionary

Kripke frame

English dictionary entry

Meanings

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

Word forms

Kripke frame Kripke frames

Etymology

Named after Saul Kripke.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on K Russian dictionary Dahl dictionary