[論文レビュー] Modal logic of some products of neighborhood frames

Andrey Kudinov|arXiv (Cornell University)|May 26, 2014

Glaucoma and retinal disorders参考文献 8被引用数 6

ひとこと要約

本稿では、{S4, D4, D, T} の任意の組み合わせについて、近傍フレームの積のモーダル論理が、それら論理の融合に正確に一致することを確立している。近傍意味論とフラクタル的な近傍フレームを用いて、完全性を証明し、追加の公理が不要であることを示しており、従来の位相的および導出的意味論におけるモーダル論理の積に関する結果を一般化している。

ABSTRACT

We consider modal logics of products of neighborhood frames and prove that for any pair $L$ and $L'$ of logics from set $\{S4, D4, D, T\}$ modal logic of products of $L$-neighborhood frames and $L'$-neighborhood frames is the fusion of $L$ and $L'$.

研究の動機と目的

• 近傍フレームの積のモーダル論理を調査すること、特に正規モーダル論理に関して。
• このような積の論理が、成分論理の融合と一致するかどうかを特定すること。
• 従来のモーダル論理の積に関する位相的および導出的意味論の結果を一般化すること。
• 近傍意味論が、追加の公理を必要とせずに、積論理を自然に捉えることができることを示すこと。

提案手法

• 固定された分岐を持つ無限木に基づく近傍フレームを構築し、反射的・推移的、または非反射的・非推移的関係を用いる。
• 近傍意味論に適応された、Kripkeフレーム積の修正版を用いて、近傍フレームの積を定義する。
• コーンが全体のフレームと同型である「フラクタル」フレームの概念を導入し、各レベルに一貫性を保証する。
• ω-近傍構成（Nω）を用いて、木構造フレームから正規近傍フレームを生成する。
• 近傍関数と位相的同型を用いた完全性技法を適用し、特にカントールの定理（稠密な線形順序に関する）を活用する。
• 近傍保存およびフレーム埋め込みに関する補題を用いて、論理の包含関係と等価性を証明する。

実験結果

リサーチクエスチョン

• RQ1 二つの近傍フレームの積の論理は、それら個々の論理の融合と一致するか？
• RQ2 S4、D4、D、T の融合は、近傍意味論を用いて追加の公理なしに捉えられるか？
• RQ3 近傍フレームは、Kripkeフレームや位相的フレームと比較して、積論理をどのように捉えているか？
• RQ4 積論理について完全性を保証する正規近傍フレームの構成は存在するか？

主な発見

• {S4, D4, D, T} の任意の論理の組み合わせについて、それら近傍フレームの積の論理は、正確に二つの論理の融合に一致する。
• 従来の結果を一般化している：すべての位相空間の論理は S4⊗S4 であり、すべての導出フレームの論理は D4⊗D4 である。
• Nω(F) の構成は、元のフレーム F の論理を保存する。したがって、考察されたフレームについて Log(Nω(F)) = Log(F) が成り立つ。
• 証明により、Log(Nω(F1) ×n Nω(F2)) = Log(F1) ⊗ Log(F2) が示され、積論理の完全性が確立される。
• 近傍フレーム積構成は、Kripke意味論とは異なり追加の公理を必要とせず、積論理に対してより自然である。