可及性关系

可及性关系是一种关系，它在为模态逻辑的关系语义学中的句子分配真值方面起着关键作用。

在关系语义学中，一个模态公式在一个可能的世界中的真值为{displaystylew}的真值可能取决于在一个可能的世界可以取决于在另一个可能世界的真值{displaystylev}时的真值，但只有在可及性关系中，才有可能。

但只有当可及性关系可及性关系在概念上的动机是，自然语言的模态陈述取决于一些，但不是所有的替代情景。例如，句子Itmightberaining一般不会仅仅因为人们可以想象到下雨的场景而被判断为真实。

相反，它的真实性取决于这样的情景是否被现有的信息排除了。

这一事实可以在模态逻辑中通过选择一个可及性关系来正式确定，即这个想法可以扩展到模态逻辑的不同应用。

在认识论中，我们可以使用一个认识论上的可及性概念，其中.在模态逻辑在计算机科学的应用中，所谓的可能世界可以被理解为代表可能的状态，可及性关系可以被理解为程序。

那么模态逻辑的不同应用会对可接受的可及性关系提出不同的限制，这又会导致不同的有效性。

关于有效性如何与可及性关系的条件联系在一起的数学研究，被称为模态对应理论。