Kripke frame

短语

词形变化

Kripke frames 复数 Kripke frames

释义与例句

n.
  1. 1.

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

    数学 哲学

词源

Named after Saul Kripke.

来源：wiktionary