互模拟余归纳及其他.PDFVIP

互模拟,(余) 归纳及其他 哲学数学计算机中的逻辑课程(2016 年秋) 王彦晶 北大哲学系 2016 年12 月8 日 1 互模拟(bisimulation) (余) 归纳及其他 2 框架及其性质 我们说公理φ 对应于框架性质X, 如果对任意框架 : φ 在框架 上有效 有性质X: T p p 自反性(Reflexivity): 任意x,xRx B p p 对称性(Symmetry): 任意xy, 若xRy 则yRx D p p 持续性(Seriality): 任意x, 存在y 使得xRy 4 p p 传递性(Transitivity) 任意xyz 若xRyyRz 则xRz 5 p p 欧几里得性(Euclideanproperty) 任意xyz 若 xRy 且xRz 则yRz 来源于《几何原本》: th