Kripke frame

名词 n.
中文释义

英文释义

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

词形变化

Kripke frames plural

词源

Named after Saul Kripke.
0 次浏览 数据来源: Wiktionary