克里普克结构

（计算机科学技术）
克里普克结构（Kripke structure），计算机科学技术名词，克里普克（Kripke）于1963年针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。
知识树
时光轴
论点集
总题库
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》