可及关系
维基百科,自由的
encyclopedia
可及关系
是在
可能世界
之间的
二元关系
R
,它在
模态逻辑
的形式化/理论方面非常有用,它同样也用于
知识论
、
形而上学
和
价值理论
。