Proof-Theoretic Study of Doxastic and Epistemic Updates via Questions

点击翻译按钮获取中文摘要

本年度は、(1) 非古典論理の証明論、 (2)項付様相述語論理に基づく動的認識論理研究、(3) Inquisitive logic の一階論理拡張の公理化可能性、について研究を行った。これらは全て、研究課題(A) 質疑を伴う推論、質疑応答による知識・信念の更新を扱う証明体系の構築、に関わる内容である。以下では(1)と(2)に関して詳細を説明する。(1) 直観主義論理に結合子「AはBを除外する」を加えた双直観主義論理やその様相拡大について、Mints による方法により、クレイグ補間定理が成立することを明らかにした。これは小野寛晰氏(JAIST)との共同研究であり、国際会議 Advances in Modal Logic に論文が採択され、学会発表を行った。また、Li et al. (2022) により提案された「かくれんぼの様相論理」（かくれんぼの勝利条件について記述可能）について、未解決であった公理化可能性の問題を hybrid logicの発想を用いて解決できることを明らかにした。これは、Fenrong Liu (Tsinghua University)とDazhu Li (Chinese Academy of Sciences)との共同研究の成果である。本成果については国際ワークショップでの発表を行い、現在投稿論文を執筆中である。(2) 命題論理レベルで山田友幸が研究していた命令や約束といった言語行為が、項付様相述語論理において、大きな問題なく形式化できることを明らかにした（同値式の置換について自由変数記号の集合が同一という付帯条件が必要となる) 。本成果は、山田友幸氏（北海道大学）との共同研究であり、学会発表を行った後に執筆した論文が査読の上、Logic in Asia Series の Dynamics in Logic and Language に掲載された。