http://lkozima.hatenablog.com/entry/2013/09/30/000122
2013-09-30
一階述語様相論理の sheaf semantics とか
ひさしぶりに様相論理の論文を読みました。なんとなくまとめ。

・TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC http://journals.cambridge.org/action/displayAbstract?fromPage=online&;aid=2189652
・Neighborhood-Sheaf Semantics for First-Order Modal Logic http://dl.acm.org/citation.cfm?id=2051449
・Public Announcements under Sheaves http://link.springer.com/chapter/10.1007/978-3-642-39931-2_8

最初のは first-order S4 の意味論を sheaf を使って与えるという内容。関数記号とか定数記号とかをどう解釈するかはこれまであんまり考えられてなかったらしい。sheaf だったら関数記号は sheaf の射だし定数記号は global section ということで自然に決まる。あと完全性の証明，詳細は書いてなかったけど力技でモデルを作るらしい。Lowenheim-Skolem の定理を使うとか書いてあった。

次のは first-order MC (K から necessitation を除いたもの) の意味論。Kripke sheaf と topological sheaf (普通の意味での集合の層) を統合する形で neighborhood sheaf というものを定義して，その上での意味論 (neighborhood sheaf semantics, NSS) を与える。細かい計算をまったく追いかけてないので MC より弱いところではなんでできないのかよくわかってない。

最後のは NSS を使って first-order public announcement logic の意味論も作ったよという話で，これは NSS の定義ができていればそんなに難しくなさそうに見えるけどどうなのだろう。

つづく