可及關係

可及關係是在可能世界之間的二元關係 R ， 它在模態邏輯的形式化 / 理論方面非常有用 ， 它同樣也用於知識論 、 形而上學和價值理論 。