达 formula_17 的情况下。
在形式语义中可及关系的重要性.设 "w*" 指示真实世界，我们还要服从可能世界语义的两个基础变换模式: 要在技术/形式层面看到可及关系的能力和用途，注意下列联系成立:按大卫·刘易斯所说，结果是"旧争论让位于新争论。不再提问莫名其妙的问题，是否现实的东西必然是可能的，我们可以简单的提问: 关系 "R" 是对称的吗? "(刘易斯，1996)。