• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2020 Fiscal Year Research-status Report

Proof-Theoretic Study of Doxastic and Epistemic Updates via Questions

Research Project

Project/Area Number 19K12113
Research InstitutionHokkaido University

Principal Investigator

佐野 勝彦  北海道大学, 文学研究院, 准教授 (20456809)

Project Period (FY) 2019-04-01 – 2022-03-31
Keywords様相論理 / 認識論理 / 動的認識論理 / 疑問文 / 直観主義論理 / 証明論 / inquisitive logic
Outline of Annual Research Achievements

本年度は、inquisitive logic への集団知識概念を加えるために直観主義論理上の認識論理について集中的に研究を行った。主な研究成果は以下の三つである。
(1) van BenthemとLiu による Dynamic Logic of Relation Changers (DLRC)の直観主義論理への一般化: DLRC は行為者(エージェント)の信念・知識・選好の変化を扱う一般的枠組みであるが古典論理(真・偽に基づく論理)上で定式化されている。東京理科大学の秦野亮助教との共同研究として、DLRCを真とも偽ともいえない命題を許す直観主義論理上へ一般化できることを明らかにし、国際会議 3rd DaLi とそのプロシーディングにおいてその成果を発表した。
(2) 分散知識概念をもつ直観主義認識論理研究: 集団Gの分散的知識(distributed knowledge)とはG中の各エージェントの知識を第三者視点で組み合わせることで得られる知識のことである。前年度には古典論理上での分散知識論理の証明論について整備を行ったが、本年度にはこれを直観主義論理上の分散知識概念の分析へと一般化した。この成果を、北海道大学文学院の大学院生、村井涼との共同研究として国際会議 13th LANMR で発表した。
(3) Artemov らによる直観主義認識論理の述語論理への拡張: Artemovらは、知識演算子KAの証明とは、Aの証明の存在の決定的検証である、という証明による解釈を提案し、直観主義命題論理について研究を行ったが、等号付き一階述語論理への拡張は研究されていなかった。北海道大学文学研究科の大学院生、蘇有安との共同研究として、等号付き一階述語論理への拡張が可能であること明らかにした。この成果については、国際学会MLA2021において研究発表を行った。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

本研究には、(A) 質疑を伴う推論、質疑応答による知識・信念の更新を扱う証明体系の構築、(B) Why 疑問文、How疑問文の形式化、(C) ギャップやグラットを許す矛盾許容論理による疑問文の形式化、の三つの課題が存在した。本年度には(A)の研究を直観主義論理のレベルで進展させたため、(A) の研究で残るのはinquisitive logicへの一般化と述語inquisitive logicの研究である。さらに(C) については「支持」と「拒絶」を組み込んだinquisitive semantics について準備的研究を行った。

Strategy for Future Research Activity

令和2年度には、課題(A)に関して、述語論理版 inquisitive logic について準備的議論を行っているTadeusz Litak氏(FAU Erlangen-Nuernberg)を一定期間招聘し、共同研究を行う予定であったが、コロナ禍のため招聘は延期となったが、令和3年度についても状況は不透明である。そのため、令和3年度の研究では、特に課題(C)Belnap-Dunn による四値論理のinquisitive logic の拡張について集中的に取り組む予定である。また課題(B) については、直観主義論理上の条件法論理(Why 疑問文の研究の基盤となる)について研究を進める予定である。

Causes of Carryover

コロナ禍のため、当初予定していた国際学会発表や海外出張、さらには、海外からの研究協力者の招聘などが全て不可能となったため、次年度使用額が生じた。国際学会発表についてはオンラインで開催されたため、研究成果発表には大きな支障はなかったが、コロナ禍の影響が納まり次第、(可能であれば)本年度に、海外出張、及び、海外からの研究協力者の招聘を行う予定である。

  • Research Products

    (20 results)

All 2021 2020 Other

All Int'l Joint Research (2 results) Journal Article (7 results) (of which Peer Reviewed: 7 results) Presentation (9 results) (of which Int'l Joint Research: 8 results,  Invited: 2 results) Book (1 results) Remarks (1 results)

  • [Int'l Joint Research] ライプニッツ大学ハノーファー(ドイツ)

    • Country Name
      GERMANY
    • Counterpart Institution
      ライプニッツ大学ハノーファー
  • [Int'l Joint Research] リーズ大学(英国)

    • Country Name
      UNITED KINGDOM
    • Counterpart Institution
      リーズ大学
  • [Journal Article] Frame definability, canonicity and cut elimination in common sense modal predicate logics2020

    • Author(s)
      Takahiro Sawasaki and Katsuhiko Sano
    • Journal Title

      Journal of Logic and Computation

      Volume: - Pages: -

    • DOI

      10.1093/logcom/exaa067

    • Peer Reviewed
  • [Journal Article] Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms2020

    • Author(s)
      Ryo Hatano and Katsuhiko Sano
    • Journal Title

      Studia Logica

      Volume: 109 Pages: 95-124

    • DOI

      10.1007/s11225-020-09902-5

    • Peer Reviewed
  • [Journal Article] Constructive Dynamic Logic of Relation Changers2020

    • Author(s)
      Ryo Hatano and Katsuhiko Sano
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 12569 Pages: 137-154

    • DOI

      10.1007/978-3-030-65840-3_9

    • Peer Reviewed
  • [Journal Article] Proof-Theoretic Results of Common Sense Modal Predicate Calculi2020

    • Author(s)
      Takahiro Sawasaki and Katsuhiko Sano
    • Journal Title

      Context, Conflict and Reasoning, Logic in Asia: Studia Logica Library

      Volume: - Pages: 127-138

    • DOI

      10.1007/978-981-15-7134-3_10

    • Peer Reviewed
  • [Journal Article] Modal Logic and Planarity of Graphs2020

    • Author(s)
      Izumi Takeuti and Katsuhiko Sano
    • Journal Title

      Context, Conflict and Reasoning, Logic in Asia: Studia Logica Library

      Volume: - Pages: 115-126

    • DOI

      10.1007/978-981-15-7134-3_9

    • Peer Reviewed
  • [Journal Article] Subformula property and Craig interpolation theorem of sequent calculi for tense logics2020

    • Author(s)
      Katsuhiko Sano and Sakiko Yamasaki
    • Journal Title

      Short Papers of Advances in Modal Logic (AiML 2020)

      Volume: - Pages: 97-101

    • Peer Reviewed
  • [Journal Article] Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic2020

    • Author(s)
      Katsuhiko Sano
    • Journal Title

      Advances in Modal Logic

      Volume: 13 Pages: 541 - 560

    • Peer Reviewed
  • [Presentation] First-Order Expansion of Intuitionistic Epistemic Logic2021

    • Author(s)
      Youan Su and Katsuhiko Sano
    • Organizer
      Fourth Workshop on Mathematical Logic and its Applications (MLA 2021)
    • Int'l Joint Research
  • [Presentation] Subformula property and Craig interpolation theorem of sequent calculi for tense logic2020

    • Author(s)
      Katsuhiko Sano and Sakiko Yamasaki
    • Organizer
      Short Talk at ADVANCES IN MODAL LOGIC 2020 (Online)
    • Int'l Joint Research
  • [Presentation] Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic2020

    • Author(s)
      Katsuhiko Sano
    • Organizer
      ADVANCES IN MODAL LOGIC 2020 (Online)
    • Int'l Joint Research
  • [Presentation] Constructive Dynamic Logic of Relation Changers2020

    • Author(s)
      Ryo Hatano and Katsuhiko Sano
    • Organizer
      3rd DaLi; Workshop, Dynamic Logic: New Trends and Applications
    • Int'l Joint Research
  • [Presentation] Modal Logic and Planarity of Graphs2020

    • Author(s)
      Izumi Takeuti and Katsuhiko Sano
    • Organizer
      the 5th Asian Workshop on Philosophical Logic (AWPL)
    • Int'l Joint Research
  • [Presentation] Incorporating rejection condition into inquisitive semantics2020

    • Author(s)
      佐野勝彦
    • Organizer
      第2回ズームコロキュアム, 南山大学言語研究センター
    • Invited
  • [Presentation] Proof-theoretic Results of Common Sense Modal Predicate Calculi2020

    • Author(s)
      Takahiro Sawasaki and Katsuhiko Sano
    • Organizer
      the 5th Asian Workshop on Philosophical Logic (AWPL)
    • Int'l Joint Research
  • [Presentation] Goldblatt-Thomason theorems for non-classical logics2020

    • Author(s)
      Katsuhiko Sano
    • Organizer
      Logic Webinar@ IITK, Department of Mathematics and Statistics
    • Int'l Joint Research / Invited
  • [Presentation] Intuitionistic Epistemic Logics with Distributed Knowledge2020

    • Author(s)
      Ryo Murai and Katsuhiko Sano
    • Organizer
      Thirteenth Latin American Workshop on New Methods of Reasoning 2020
    • Int'l Joint Research
  • [Book] 『再―くりかえす世界』2021

    • Author(s)
      橋本 雄
    • Total Pages
      306
    • Publisher
      北海道大学出版会
    • ISBN
      978-4-8329-3411-5
  • [Remarks] Research Map (佐野勝彦)

    • URL

      https://researchmap.jp/v_sano

URL: 

Published: 2021-12-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi