克里普克结构

（计算机科学技术）

克里普克结构（Kripke structure），计算机科学技术名词，克里普克（Kripke）于1963年针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。