可及关系 可及关系是在可能世界之间的二元关系 R它在模态逻辑的形式化理论方面非常有用它同样也用于知识论形而上学和价值理论