[論文レビュー] Representation Theorems for Cumulative Propositional Dependence Logics

Juha Kontinen, Arne Meier+1 more|arXiv (Cornell University)|Feb 24, 2026

Logic, Reasoning, and Knowledge被引用数 0

ひとこと要約

要約: 本論文は、Propositional Dependence Logic (PDL) と Propositional Logic with Team Semantics (TPL) の System C 含意と累積モデルとの関係を表現定理として結び付け、非対称モデルが表現に十分であることを示す。

ABSTRACT

This paper establishes and proves representation theorems for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. Cumulative logics are famously given by System C. For propositional dependence logic, we show that System C entailments are exactly captured by cumulative models from Kraus, Lehmann and Magidor. On the other hand, we show that entailment in cumulative propositional logics with team semantics is exactly captured by cumulative and asymmetric models. For the latter, we also obtain equivalence with cumulative logics based on propositional logic with classical semantics. The proofs will be useful for proving representation theorems for other cumulative logics without negation and material implication.

研究の動機と目的

• 非単調推論をチームベースの意味論と組み合わせて、複数の対象物や超論理情報を扱えるようにする動機づけ。
• 命題依存論およびチーム意味論を持つ命題論理の累積含意関係を特徴づける。
• これらの論理における System C と累積モデルとの表現定理を確立する。
• チーム意味論設定における表現には非対称な累積モデルが十分であることを示す。

提案手法

• System C の規則 (RW, LLE, CM, Cut) と滑らかな累積モデルを定義する。
• 強い累積モデル（非対称な R と各式についての一意の最小元）を導入する。
• Sorted モデルの最小元による含意を定義し、それを累積含意と関連付ける。
• PDL について cumul と cuml[str] が System C 含意（c と cuml）と一致することを示す。
• 与えられた含意関係からその帰結を捉える累積モデル C_|~ を構築する（Norm および Th の構成）。
• TPL に対して、cuml as モデル、CPL、標準的 cuml、cuml[str] および c を含む TPL の各種 cuml に対して、含意が同等になることを示す。

実験結果

リサーチクエスチョン

• RQ1 System C 含意と PD L および TPL における累積モデルの関係はどうなるか。
• RQ2 否定または材料含意なしで、これらの論理における累積推論は System C と同じ含意を捉え得るか。
• RQ3 非対称モデルはこれらの枠組みの cuml 含意を表すのに十分か。
• RQ4 Norm, Th の定義が cuml の下で PDL における結論の定義性をどう決定するか。
• RQ5 他の累積論理（否定・含意なし）へも表現定理は拡張可能か。

主な発見

• PDL の cuml、cuml[str] および System C の含意は一致する（PDL c = PDL cuml = PDL cuml[str]）。
• PDL について、すべての cuml 含意は強い累積性をもち、Norm および Th 構成で定義可能である。
• 強い累積モデルを構築して任意の cuml 含意を捉え、System C の挙動と整合する。
• TPL では cuml[as] モデルが CPL および標準的 cuml、cuml[str] および c と同じ含意を生み、複数の枠組みの同値性を確立する。
• 非対称モデルはチーム意味論設定における表現の十分な部分クラスを形成する。
• これらの結果は否定や材料含意を持たない他の累積論理における表現定理の道を開く。