[論文レビュー] Topological Modal Logics with Difference Modality

Kudinov Andrey|arXiv (Cornell University)|Nov 25, 2010

Logic, Reasoning, and Knowledge参考文献 8被引用数 3

ひとこと要約

本稿は、差分モダリティ $[\neq]$ を含むトポロジカルなモダリティ論理を導入し、これは「現在の点を除き、すべての点で真である」と解釈される。これにより、$T_1$ 分離性、自身に密な性質、連結性といった、従来定義不可能であったトポロジカルな性質を表現可能となる。主な貢献は、より具体的なトポロジカル空間のクラス、すなわちすべてのトポロジカル空間、自身に密な空間、ゼロ次元の $T_1$ メトリック空間に対して、三つの論理 $
\mathbf{S4D}$, $
\mathbf{S4DS}$, $
\mathbf{S4DT_1S}$ の完全性定理を証明することにある。

ABSTRACT

We consider propositional modal logic with two modal operators $\Box$ and $\D$. In topological semantics $\Box$ is interpreted as an interior operator and $\D$ as difference. We show that some important topological properties are expressible in this language. In addition, we present a few logics and proofs of f.m.p. and of completeness theorems.

研究の動機と目的

• 基本的なトポロジカルなモダリティ論理に差分モダリティ $[\neq]$ を追加し、空間的性質の表現力を高めること。
• トポロジカルな性質、たとえば $T_1$ 分離性、自身に密な性質、連結性が、拡張された言語で定義可能かどうかを調査すること。
• 差分モダリティと追加の制約を含む $
  \mathbf{S4}$ に基づく新しい論理の完全性定理を確立すること。
• $
  \mathbb{R}^n$ やゼロ次元の $T_1$ 空間といった重要なトポロジカル空間の論理的特徴付けを明確にすること。
• 差分モダリティが普遍的モダリティと空間的連結性をどの程度表現可能にするかを特定すること。

提案手法

• 差分モダリティ $[\neq]$ を含む二モダリティ言語を導入し、$[\neq]\phi$ は「現在の点を除き、すべての点で $\phi$ が成り立つ」と解釈される。
• 三つの論理 $
  \mathbf{S4D}$, $
  \mathbf{S4DS}$, $
  \mathbf{S4DT_1S}$ を定義し、それぞれ $
  \mathbf{K_2}$ を $B_D$, $4^{-}_D$, $T_\Box$, $4_\Box$, $D_\Box$, $DS$, $AT_1$ などの特定の公理で拡張する。
• 命題記号に集合を割り当てる価値割り当てを持つ、トポロジカル空間の点において式を評価するトポロジカルモデルを定義する。
• 完全性を証明するために、トポロジカル空間からKripkeフレームへの連続的かつ全射的かつ閉じた p-モルフィズム（cd-p-モルフィズム）を用い、正規モデル法を適用する。
• アンラヴリングおよび分解技術を用いて、複雑なフレームをより単純なフレーム（例えば生成部分フレームやクラスタ）に還元し、ゼロ次元性および閉開集合を活用する。
• 公式 $[\forall]\phi \equiv [\neq]\phi \land \phi$ により、普遍的モダリティが表現可能であることを示し、言語の表現力を高める。

実験結果

リサーチクエスチョン

• RQ1 差分モダリティ $[\neq]$ は、トポロジカル意味論において $T_1$ 分離性や自身に密な性質といったトポロジカルな性質を表現可能か？
• RQ2 差分モダリティ $[\neq]$ と $
  \Box$ を含む論理 $
  \mathbf{S4D}$ は、すべてのトポロジカル空間に対して完全か？
• RQ3 論理 $
  \mathbf{S4DS}$ と $
  \mathbf{S4DT_1S}$ は、それぞれ自身に密な空間およびゼロ次元の $T_1$ メトリック空間に対して完全であると示せるか？
• RQ4 差分モダリティの追加により、連結性が表現可能になり、$
  \mathbb{R}$ と $
  \mathbb{R}^n$（$n \geq 2$）を区別可能になるか？
• RQ5 $\mathbb{R}$ の D-論理は何か？ また、$
  \mathbf{S4D} + AT_1$ はすべての $T_1$ 空間に対して完全か？

主な発見

• 正規モデル構成法を用いた cd-p-モルフィズムによる証明により、論理 $
  \mathbf{S4D}$ はすべてのトポロジカル空間に対して完全である。
• 論理 $
  \mathbf{S4DS}$ はすべての自身に密なトポロジカル空間に対して完全であり、差分モダリティが自身に密な性質の定義可能性を可能にしていることを示している。
• 論理 $
  \mathbf{S4DT_1S}$ は、すべてのゼロ次元で、自身に密で、メトリック的かつ $T_1$ の性質を満たす空間に対して完全であり、$
  \mathbb{R}^n$（$n \geq 2$）を含む空間のクラスに対して強い完全性結果を確立している。
• 差分モダリティにより、$[\forall]\phi \equiv [\neq]\phi \land \phi$ を用いて普遍的モダリティが表現可能となり、言語の表現力が向上している。
• 公理 $(AE_1)$ は $[\neq]$ と $
  \Box$ を含み、$
  \mathbb{R}$ と $
  \mathbb{R}^n$（$n \geq 2$）を区別するのを助け、$
  \mathbf{S4DT_1S} + (AE_1) + \text{``連結性"}$ が $
  \mathbb{R}^n$ 上で完全である可能性を示唆している。
• 本稿では、$
  \mathbf{S4D} + AT_1$ がすべての $T_1$ 空間に対して完全であるかどうか、および $
  \mathbb{R}$ の D-論理が未解決のまま残っている。