可及关系是在可能世界之间的二元关系 "R"，它在模态逻辑的形式化/理论方面非常有用，它同样也用于知识论、形而上学和价值理论。
(命题)模态逻辑的基本概述.为了真正理解什么是"可及关系"，需要一些对模态逻辑基础的背景解说。出于简化的目的，我们将限制于命题模态逻辑。命题模态逻辑只是带有两个关键一元算子的传统句子逻辑: formula_1 意味着 "...是必然的" 和 formula_2 表示 "...是可能的"。这些算子可以附加到一个单独的句子上来形成一个新的复合句子。对于任何(简单