克里普克结构

来自术语
跳转至: 导航搜索

    Kripke于1963年针对正规模态逻辑提出的一种语义结构,由一个表示所有可能世界的集合和该集合上的若干关系组成。

英文名 Kripke structure



链接

Wikipedia https://en.wikipedia.org/wiki/Kripke_structure