弱い様相論理に閉包意味論を与え完全性を証明

この論文をやさしく読む

ひとことで言うと

必然性などを表す様相演算子に強い規則を課さない論理について、式の意味を与える新しい枠組みを作った研究です。

何に役立つ？

弱い様相論理の推論規則とモデル上の真理の関係を調べたり、異なる意味論の間で結果を比較したりするのに役立ちます。

この研究の面白いところ

新しい意味論の健全性・強完全性を示すだけでなく、既存の複数の意味論へ真理を保ったまま移す対応も与えています。

どこまで分かった？

要旨は複数の論理体系での理論的結果を述べていますが、対象体系の一覧や翻訳の構成、計算量は記載していません。具体的なシステムでの実験結果ではありません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

弱い様相論理は、様相演算子を規定する公理と推論規則を制限することで得られる。その極端な例として、様相に固有の公理や推論規則を一切課さない最小の様相論理を考えることができる。本研究では、こうした弱い様相論理のための新しい可能世界意味論として、閉包意味論を導入し、さまざまな体系について健全性と強完全性を確立する。また、閉包モデルと、近傍意味論、FMT意味論、Kripke意味論を含むほかの可能世界意味論との間で、真理を保存する翻訳を与える。

v1の要旨から自動生成。本文の精読・人による確認は未実施。