满足下列 “zig-zag” 性质:模型的双仿是对保持原子公式的力迫的补充要求:从这个定义我们得到的关键性质是模型的双仿(所以也是 p-态射)保持"所有"公式的满足性，而不只是命题变量。我可以使用拆分(unravelling)把克里普克模型变换成树。给出一个模型 <"W","R",formula_6> 和固定的节点 "w" ∈ "W"，我们定义一个模型 <"W’","R’",formula_6’>，这里的 "W’" 是所有有限序列 "s"=<"w","w"...,"w"> 的集合，使得对于所有 "i