可及性關系是一種關系，它在為模態邏輯的關系語義學中的句子分配真值方面起著關鍵作用。在關系語義學中，一個模態公式在一個可能的世界中的真值為{displaystylew}的真值可能取決于在一個可能的世界可以取決于在另一個可能世界的真值{displaystylev}時的真值，但只有在可及性關系中，才有可能。，但只有當可及性關系可及性關系在概念上的動機是，自然語言的模態陳述取決于一些，但不是所有的替代情景。例如，句子Itmightberaining一般不會僅僅因為人們可以想象到下雨的場景而被判斷為真實。

相反，它的真實性取決于這樣的情景是否被現有的信息排除了。這一事實可以在模態邏輯中通過選擇一個可及性關系來正式確定，即這個想法可以擴展到模態邏輯的不同應用。在認識論中，我們可以使用一個認識論上的可及性概念，其中.在模態邏輯在計算機科學的應用中，所謂的可能世界可以被理解為代表可能的狀態，可及性關系可以被理解為程序。那么模態邏輯的不同應用會對可接受的可及性關系提出不同的限制，這又會導致不同的有效性。關于有效性如何與可及性關系的條件聯系在一起的數學研究，被稱為模態對應理論。