可通達關係

可通達關係是現代模態邏輯的可能世界語義學中兩個可能世界之間的一種關係。通常用符號R表示，它是可能世界集合W上的某種二元關係。對於不同的模態系統，相應的語義模型中的R有所不同。例如，T模型中的R是自返的，S4模型中的R是自返且傳遞的，Ss模型中的R則是自返、傳遞且對稱的。

從直觀上看，對可通達關係R可以作這樣的理解：令wi和Wj為兩個可能世界，當在可能世界wi中的認識者能夠思考可能世界wi中的事物狀態時，這兩個可能世界就具有可通達關係。