Accessibility Relation

释义 Definition

accessibility relation：常译为“可达关系 / 可访问关系”。在模态逻辑与 Kripke 语义中，指连接“可能世界”的一种二元关系 (R)：若 (wRv)，表示从世界 (w) 出发，世界 (v) 对 (w) 来说是“可达/可被视为可能”的，从而决定诸如“必然(□)”与“可能(◇)”等模态词在该世界中的真假条件。
（在其他学科里也可能出现更一般的“可达/可访问的关系”用法，但最常见的是上述逻辑语境。）

发音 Pronunciation (IPA)

/əkˌsɛsəˈbɪləti rɪˈleɪʃən/

例句 Examples

The accessibility relation links one possible world to another.
可达关系把一个可能世界与另一个可能世界连接起来。

In Kripke semantics, changing the accessibility relation can turn a system into one where necessity implies truth, such as when the relation is reflexive.
在 Kripke 语义中，改变可达关系会改变整个系统的性质；例如当该关系是自反的时，“必然”往往会推出“真实”。

词源 Etymology

accessibility 来自 access（进入、接近）+ 后缀 -ibility（“……的可能/性质”），表示“可接近性/可进入性”。relation 源自拉丁语 relatio（关联、联系）。合起来在逻辑学中专门指“哪些世界彼此可达”的那种关联结构。

相关词 Related Words

• Accessibility
• Relation
• Reachability
• Kripke Frame
• Possible World
• Modal Logic
• Reflexive
• Transitive
• Symmetric
• Serial

文学与著作中的用例 Literary Works

• Saul A. Kripke, Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi（提出并系统使用 Kripke 框架与“可达关系”的核心思想）
• Brian F. Chellas, Modal Logic（以“accessibility relation”讲解 Kripke 语义与系统性质）
• G. E. Hughes & M. J. Cresswell, A New Introduction to Modal Logic（用可达关系解释 □/◇ 的语义）
• Patrick Blackburn, Maarten de Rijke & Yde Venema, Modal Logic（全面讨论不同可达关系条件与对应的模态系统）