[論文レビュー] Common Knowledge Always, Forever

Martín Diéguez, David Fernández-Duque|arXiv (Cornell University)|Feb 14, 2026

Logic, Reasoning, and Knowledge被引用数 0

ひとこと要約

この論文は、共通知識のポリトポロジーPDLフレームワークを導入し、派生空間クラスの有限モデル性を示し、一般的な Cantor 派生設定における FMP の失敗を示し、LTL（過去）を埋め込んで不可決性の影響を示す。

ABSTRACT

There has been an increasing interest in topological semantics for epistemic logic, which has been shown to be useful for, e.g., modelling evidence, degrees of belief, and self-reference. We introduce a polytopological PDL capable of expressing common knowledge and various generalizations and show it has the finite model property over closure spaces but not over Cantor derivative spaces. The latter is shown by embedding a version of linear temporal logic with `past', which does not have the finite model property.

研究の動機と目的

• 動的知識論理の多-agent に対する位相的解釈を動機づけ、共通知識や関連概念を捉える formal 化。
• 異なるエージェントに対応する複数の派生演算子を持つポリトポロジー PDL を開発。
• 異なる派生空間クラスにわたる決定性と有限モデル性を調査。
• 過去を含む LTL を埋め込むことで、FMP の限界を示す。

提案手法

• 派生空間を定義（位相論理と Kripke 意味論の一般化）。
• エージェントごとの派生演算子と PDL 風のプログラムを備えたポリ派生空間を導入。
• S4 を PDL へ埋め込み、閉包を取ることで L* の有効な有限モデル性を閉包空間で実現。
• 閉包空間のクラスおよび TD（トポロジカル派生空間）で、推移閉包に基づく手法により L* の決定性を証明。
• Cantor 派生空間における非 FMP を、過去を持つ PLTL を埋め込み、木の展開論で示す。

実験結果

リサーチクエスチョン

• RQ1 ポリ派生 PDL は位相設定で共通知識を表現できるか。
• RQ2 閉包、TD、Cantor 派生など、異なる派生空間クラスでこれらの論理に有限モデル性があるか。
• RQ3 過去を含む時間論理を埋め込むことが、決定性とモデル性にどのような影響を与えるか。
• RQ4 エージェントごとの派生演算子は、共通知識や連合知識の概念をサポートするためにどのように相互作用するか。

主な発見

• L*（トップolog的 PDL）は閉包空間で有効な有限モデル性を持ち、そのクラスに対する妥当性を決定可能にする。
• TD（トップロジカル派生空間）では L* の妥当性問題は決定可能であるが、追加の制約がないと FMP が失敗する可能性がある。
• 一般的な Cantor 派生空間では L* は有限モデル性を持たず、過去を持つ LTL（PLTL）の埋め込みでこれを示す。
• PLTL をトップolog的 PDL に埋め込むことで FMP の失敗を証明する道筋が得られ、PLTL 埋め込みを通じた複雑さ（PSPACE の下界）への洞察が得られる。
• 2-agent のモノ効果派生空間では共通知識の概念を捉える方法が示されるが、Cantor 派生設定では FMP が失敗し、モデルの展開と p-射影を要する。
• 著者らは決定性を拡張し FMP を維持する道として、弱く移動的な閉包や結合トポロジーといった変種の可能性を議論している。