不完全情報下での質疑によるエージェントの知識・信念更新：証明論的研究

• 研究課題/領域番号: 19K12113
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 審査区分: 小区分61030:知能情報学関連
• 研究機関: 北海道大学
• 研究代表者: 佐野 勝彦 北海道大学, 文学研究院, 教授 (20456809)
• 研究期間 (年度): 2019-04-01 – 2024-03-31
• 研究課題ステータス: 完了 (2023年度)
• 配分額: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円); 2021年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2020年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円); 2019年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
• キーワード: 認識論理 / 信念の論理 / 疑問文 / 動的認識論理 / 証明論 / 分散知識 / 直観主義論理 / 古典述語論理 / 分散知識演算子 / クレイグ補間定理 / inquisitive logic / 様相論理 / bi-intuitonistic logic / coimplication / hybrid logic / 義務論理 / Dynamic Logic / Inquisitive Semantics / 分散的知識 / カット除去定理 / Inquisitive logic / 質疑 / 信念・知識の更新

研究開始時の研究の概要

本研究は、不完全情報下で「なぜ」「どうして」といった質疑により知識・信念の更新がどのようになされるかを証明論的に探究する。誤りを許容しうる論理による証明論的手法は、環境について部分的情報しか知り得ない状況下では、モデルの完全記述が必要なモデル理論的手法より利点がある。疑問文についての既存研究は主にモデル理論的研究しかなされておらず、本研究は疑問文を伴う推論の証明論的側面の探求に大きく貢献する。

研究成果の概要

情報が完全に得られない状況下でエージェントが質疑を行いながら自身の知識・信念を如何に更新するかを論理的帰結関係を推論単位とする推件計算の観点から研究を行った。質疑を扱う点に関して、疑問文と平叙文を同一設定で扱うinquisitive logicの述語論理拡張の推件計算を整備し、不完全状況下での推論を扱う点については、直観主義論理上の認識論理やその動的拡張の推件計算を整備した。特に、複数エージェントの知識の組み合わせに関わる分散的知識概念について集中的に研究を行った。

研究成果の学術的意義や社会的意義

本研究は、不完全情報下で「なぜ」「どうして」といった質疑によってエージェントの知識・信念の更新がどのようになされるかを、疑問文を伴う推論の側面から証明論的に探究し、環境から情報を手に入れながら自律的に動作するロボットの制御、質問により嘘・矛盾を見抜く対話システムの設計に、論理的基盤を与えることに貢献しうる。証明論的手法は、環境について部分的情報しか知り得ない不完全情報下では、モデルの完全記述が必要なモデル理論的手法より利点がある。

研究成果

• [国際共同研究] 清華大学/中国科学院哲学研究所(中国)
• [国際共同研究] フリードリヒ・アレクサンダー大学エアランゲン＝ニュルンベルク(ドイツ)
• [国際共同研究] Tsinghua University/Chinese Academy of Sciences(中国)
• [国際共同研究] ユトレヒト大学(オランダ)
• [国際共同研究] エアランゲン・ニュルンベルク大学(ドイツ)
• [国際共同研究] リーズ大学(英国)
• [国際共同研究] インド統計大学、チェンナイ(インド)
• [国際共同研究] ライプニッツ大学ハノーファー(ドイツ)
• [国際共同研究] リーズ大学(英国)
• [国際共同研究] ハッセルト大学(ベルギー)
• [雑誌論文] Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation (2024)
  • 著者名/発表者名: Toyooka Masanobu、Sano Katsuhiko
  • 雑誌名: Studia Logica 巻: - 号: 5 ページ: 1091-1121
  • DOI: 10.1007/s11225-023-10067-0
  • 査読あり
• [雑誌論文] Non-labelled Sequent Calculi of Public Announcement Expansions of K45 and S5 (2023)
  • 著者名/発表者名: Sizhuo Liu and Katsuhiko Sano
  • 雑誌名: Lecture Notes in Computer Science 巻: 14329 ページ: 190-206
  • DOI: 10.1007/978-3-031-45558-2_15
  • ISBN: 9783031455575, 9783031455582
  • 査読あり
• [雑誌論文] Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic (2023)
  • 著者名/発表者名: Toyooka Masanobu、Sano Katsuhiko
  • 雑誌名: The Australasian Journal of Logic 巻: 20 号: 3 ページ: 397-411
  • DOI: 10.26686/ajl.v20i3.7696
  • 査読あり / オープンアクセス
• [雑誌論文] Intuitionistic Public Announcement Logic with Distributed Knowledge (2023)
  • 著者名/発表者名: Ryo Murai and Katsuhiko Sano
  • 雑誌名: Studia Logica 巻: - 号: 3 ページ: 661-691
  • DOI: 10.1007/s11225-023-10066-1
  • 査読あり / オープンアクセス
• [雑誌論文] Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic (2023)
  • 著者名/発表者名: Katsuhiko Sano and Tomoyuki Yamada
  • 雑誌名: Dynamics in Logic and Language 巻: - ページ: 116-135
  • DOI: 10.1007/978-3-031-25894-7_6
  • ISBN: 9783031258930, 9783031258947
  • 査読あり
• [雑誌論文] A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic (2023)
  • 著者名/発表者名: Youan Su and Katsuhiko Sano
  • 雑誌名: Studia Logica 巻: - 号: 4 ページ: 615-652
  • DOI: 10.1007/s11225-023-10037-6
  • 査読あり
• [雑誌論文] Analytic Cut and Mints' Symmetric Interpolation Method for Bi-intuitionistic Tense Logic (2022)
  • 著者名/発表者名: Hiroakira Ono and Katsuhiko Sano
  • 雑誌名: Advances in Modal Logic 巻: 14 ページ: 601-623
  • 査読あり
• [雑誌論文] Three faces of recursion axioms: the case of constructive dynamic logic of relation changers (2022)
  • 著者名/発表者名: Ryo Hatano and Katsuhiko Sano
  • 雑誌名: Journal of Logic and Computation 巻: - 号: 6 ページ: 1399-1436
  • DOI: 10.1093/logcom/exac013
  • 査読あり
• [雑誌論文] Intuitionistic Epistemic Logic with Distributed Knowledge (2022)
  • 著者名/発表者名: Ryo Murai and Katsuhiko Sano
  • 雑誌名: Computacion y Sistemas 巻: 26(2) 号: 2 ページ: 823-834
  • DOI: 10.13053/cys-26-2-4259
  • 査読あり / オープンアクセス
• [雑誌論文] Combining First-Order Classical and Intuitionistic Logic. (2022)
  • 著者名/発表者名: Masanobu Toyooka and Katsuhiko Sano
  • 雑誌名: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications(NCL) 巻: - ページ: 25-40
  • DOI: 10.4204/eptcs.358.3
  • 査読あり / オープンアクセス
• [雑誌論文] Three Faces of Recursion Axioms: the Case of Constructive Dynamic Logic of Relation Changers (2022)
  • 著者名/発表者名: Ryo Hatan, Katsuhiko Sano
  • 雑誌名: Journal of Logic and Computation 巻: -
  • 査読あり
• [雑誌論文] Combining First-Order Classical and Intuitionistic Logic (2022)
  • 著者名/発表者名: Masanobu Toyooka and Katsuhiko Sano
  • 雑誌名: Electronic Proceedings in Theoretical Computer Science 巻: -
  • 査読あり
• [雑誌論文] Expressing discrete spatial relations under granularity (2021)
  • 著者名/発表者名: Giulia Sindoni, Katsuhiko Sano and John G. Stell
  • 雑誌名: Journal of Logical and Algebraic Methods in Programming 巻: 122 ページ: 100682-100682
  • DOI: 10.1016/j.jlamp.2021.100682
  • 査読あり / 国際共著
• [雑誌論文] On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge (2021)
  • 著者名/発表者名: Youan Su, Ryo Murai and Katsuhiko Sano
  • 雑誌名: Sujata Ghosh, Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings, Springer Nature, 2021 巻: - ページ: 216-231
  • DOI: 10.1007/978-3-030-88708-7_18
  • ISBN: 9783030887070, 9783030887087
  • 査読あり
• [雑誌論文] Rely more or less, for better or for worse: Intertwining reliability and preferences (2021)
  • 著者名/発表者名: Sujata Ghosh and Katsuhiko Sano
  • 雑誌名: Journal of Logic and Computation 巻: - 号: 3 ページ: 518-553
  • DOI: 10.1093/logcom/exab066
  • 査読あり / 国際共著
• [雑誌論文] Term-Sequence-Dyadic Deontic Logic (2021)
  • 著者名/発表者名: Takahiro Sawasaki and Katsuhiko Sano
  • 雑誌名: Deontic Logic and Normative Systems 15th International Conference, DEON 2020/2021 巻: 15 ページ: 376-393
  • 査読あり / オープンアクセス
• [雑誌論文] Frame definability, canonicity and cut elimination in common sense modal predicate logics (2020)
  • 著者名/発表者名: Takahiro Sawasaki and Katsuhiko Sano
  • 雑誌名: Journal of Logic and Computation 巻: - 号: 8 ページ: 1933-1958
  • DOI: 10.1093/logcom/exaa067
  • 査読あり
• [雑誌論文] Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms (2020)
  • 著者名/発表者名: Ryo Hatano and Katsuhiko Sano
  • 雑誌名: Studia Logica 巻: 109 号: 1 ページ: 95-124
  • DOI: 10.1007/s11225-020-09902-5
  • 査読あり
• [雑誌論文] Constructive Dynamic Logic of Relation Changers (2020)
  • 著者名/発表者名: Ryo Hatano and Katsuhiko Sano
  • 雑誌名: Lecture Notes in Computer Science 巻: 12569 ページ: 137-154
  • DOI: 10.1007/978-3-030-65840-3_9
  • ISBN: 9783030658397, 9783030658403
  • 査読あり
• [雑誌論文] Proof-Theoretic Results of Common Sense Modal Predicate Calculi (2020)
  • 著者名/発表者名: Takahiro Sawasaki and Katsuhiko Sano
  • 雑誌名: Context, Conflict and Reasoning, Logic in Asia: Studia Logica Library 巻: - ページ: 127-138
  • DOI: 10.1007/978-981-15-7134-3_10
  • ISBN: 9789811571336, 9789811571343
  • 査読あり
• [雑誌論文] Modal Logic and Planarity of Graphs (2020)
  • 著者名/発表者名: Izumi Takeuti and Katsuhiko Sano
  • 雑誌名: Context, Conflict and Reasoning, Logic in Asia: Studia Logica Library 巻: - ページ: 115-126
  • DOI: 10.1007/978-981-15-7134-3_9
  • ISBN: 9789811571336, 9789811571343
  • 査読あり
• [雑誌論文] Subformula property and Craig interpolation theorem of sequent calculi for tense logics (2020)
  • 著者名/発表者名: Katsuhiko Sano and Sakiko Yamasaki
  • 雑誌名: Short Papers of Advances in Modal Logic (AiML 2020) 巻: - ページ: 97-101
  • 査読あり
• [雑誌論文] Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic (2020)
  • 著者名/発表者名: Katsuhiko Sano
  • 雑誌名: Advances in Modal Logic 巻: 13 ページ: 541-560
  • 査読あり
• [雑誌論文] Craig Interpolation of Epistemic Logics with Distributed Knowledge (2020)
  • 著者名/発表者名: Ryo Murai and Katsuhiko Sano
  • 雑誌名: Foundations of Information and Knowledge Systems. FoIKS 2020. Lecture Notes in Computer Science 巻: 12021 ページ: 211-221
  • DOI: 10.1007/978-3-030-39951-1_13
  • ISBN: 9783030399504, 9783030399511
  • 査読あり
• [雑誌論文] A cut-free labelled sequent calculus for dynamic epistemic logic (2020)
  • 著者名/発表者名: Shoshin Nomura, Hiroakira Ono, and Katsuhiko Sano
  • 雑誌名: Journal of Logic and Computation 巻: - 号: 1 ページ: 321-348
  • DOI: 10.1093/logcom/exaa014
  • 査読あり
• [雑誌論文] Logics for Knowability Paradox with a Non-normal Possibility Operator (2020)
  • 著者名/発表者名: Youan Su and Katsuhiko Sano
  • 雑誌名: Knowledge, Proof and Dynamics. Logic in Asia: Studia Logica Library 巻: - ページ: 51-72
  • DOI: 10.1007/978-981-15-2221-5_4
  • ISBN: 9789811522208, 9789811522215
  • 査読あり
• [雑誌論文] Characterising modal definability of team-based logics via the universal modality (2019)
  • 著者名/発表者名: Katsuhiko Sano and Jonni Virtema
  • 雑誌名: Annals of Pure and Applied Logic 巻: 170(9) 号: 9 ページ: 1100-1127
  • DOI: 10.1016/j.apal.2019.04.009
  • 査読あり / 国際共著
• [雑誌論文] First-Order Intuitionistic Epistemic Logic (2019)
  • 著者名/発表者名: Youan Su and Katsuhiko Sano
  • 雑誌名: Logic, Rationality, and Interaction, 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings 巻: 11813 ページ: 326-339
  • DOI: 10.1007/978-3-662-60292-8_24
  • ISBN: 9783662602911, 9783662602928
  • 査読あり
• [雑誌論文] Term-Sequence-Modal Logics (2019)
  • 著者名/発表者名: Takahiro Sawasaki, Katsuhiko Sano, and Tomoyuki Yamada
  • 雑誌名: Logic, Rationality, and Interaction, 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings 巻: 11813 ページ: 244-258
  • DOI: 10.1007/978-3-662-60292-8_18
  • ISBN: 9783662602911, 9783662602928
  • 査読あり
• [学会発表] Generalizing Maksimova and Marx for Bi-intuitionistic Tense Logic (2024)
  • 著者名/発表者名: 佐野勝彦
  • 学会等名: 第57回MLG数理論理学研究集会, 東北大学
• [学会発表] Cut-free Sequent Calculus for Wansing's Expansion of Nelson's Logic (2024)
  • 著者名/発表者名: Katsuhiko Sano and Masanobu Toyooka
  • 学会等名: 6th Asian Workshop on Philosophical Logic, Hokkaido University
  • 国際学会
• [学会発表] Humberstoneの論理定項Ωと直観主義論理のクリプキフレームの関係について (2023)
  • 著者名/発表者名: 豊岡正庸・佐野勝彦
  • 学会等名: 記号論理と情報科学 研究集会 (SLACS 2023), オンライン
• [学会発表] Sequent Calculus for Public Announcement Logic (2023)
  • 著者名/発表者名: 佐野勝彦, 劉偲卓
  • 学会等名: 北京師範大学哲学学院論理学研究会, 北京師範大学, 北京(オンライン), 中国
  • 招待講演
• [学会発表] Non-labelled Sequent Calculi of Public Announcement Expansions of K45 and S5 (2023)
  • 著者名/発表者名: Sizhuo Liu, Katsuhiko Sano
  • 学会等名: The Ninth International Conference on Logic, Rationality and Interaction
  • 国際学会
• [学会発表] Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic (2023)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Sapporo Mini-Workshop on Modal Logic, Hokkaido University
• [学会発表] 直観主義論理と古典論理の組み合わせにおけるcollapsing problemと、シークエント計算におけるその回避方法について (2023)
  • 著者名/発表者名: 豊岡正庸・佐野勝彦
  • 学会等名: UNESCO 世界論理デー記念ワークショップ
  • 国際学会 / 招待講演
• [学会発表] Axiomatizing a Simple Logic of the Hide and Seek Game (2023)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: the Second International Workshop on Logics of Multiagent Systems
  • 国際学会 / 招待講演
• [学会発表] Axiomatizing a Simple Logic of the Hide and Seek Game (2023)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Sapporo Mini-workshop on Non-classical Logic
  • 国際学会
• [学会発表] Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic (2022)
  • 著者名/発表者名: Katsuhiko Sano and Tomoyuki Yamada
  • 学会等名: The Third Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning
  • 国際学会
• [学会発表] On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge (2022)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Substructural Logic Workshop in Ishikawa
  • 国際学会 / 招待講演
• [学会発表] Analytic Cut and Mints' Symmetric Interpolation Method for Bi-intuitionistic Tense Logic (2022)
  • 著者名/発表者名: Katsuhiko Sano and Hiroakira Ono
  • 学会等名: 14TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
  • 国際学会
• [学会発表] Analytic Cut and Mints' Symmetric Interpolation Method for Bi-intuitionistic Tense Logic (2022)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Tsinghua Logic Salon
  • 国際学会 / 招待講演
• [学会発表] Axiomatizing a Simple Logic of the Hide and Seek Game (2022)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Special Session on Logic and Games
  • 国際学会 / 招待講演
• [学会発表] On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge (2022)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Workshop on Foundations of Game Theory: Logic, Bounded Rationality, and Decisions
  • 国際学会 / 招待講演
• [学会発表] Combining First-Order and Classical and Intuitionistic Logic (2022)
  • 著者名/発表者名: 豊岡正庸・佐野勝彦
  • 学会等名: NCL'22: Non-Classical Logics. Theory and Applications 2022
  • 国際学会
• [学会発表] Craig Interpolation for a Sequent Calculus for Combining Intuitionistic and Classical Propositional Logic (2021)
  • 著者名/発表者名: 豊岡正庸・佐野勝彦
  • 学会等名: SOCREAL 2022 (6th International Workshop on Philosophy and Logic of Social Reality)
  • 国際学会
• [学会発表] Dynamic Logic of Relation Changers Meets Brouwer' (2021)
  • 著者名/発表者名: 秦野亮・佐野勝彦
  • 学会等名: SOCREAL 2022 (6th International Workshop on Philosophy and Logic of Social Reality)
• [学会発表] On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge (2021)
  • 著者名/発表者名: 蘇有安・村井涼・佐野勝彦
  • 学会等名: The Eighth International Conference on Logic, Rationality and Interaction (LORI-VIII)
  • 国際学会
• [学会発表] Term-Sequence-Dyadic Deontic Logic (2021)
  • 著者名/発表者名: Takahiro Sawasaki and Katsuhiko Sano
  • 学会等名: 15th International Conference on Deontic Logic and Normative Systems (DEON 2020/21)
• [学会発表] First-Order Expansion of Intuitionistic Epistemic Logic (2021)
  • 著者名/発表者名: Youan Su and Katsuhiko Sano
  • 学会等名: Fourth Workshop on Mathematical Logic and its Applications (MLA 2021)
  • 国際学会
• [学会発表] Subformula property and Craig interpolation theorem of sequent calculi for tense logic (2020)
  • 著者名/発表者名: Katsuhiko Sano and Sakiko Yamasaki
  • 学会等名: Short Talk at ADVANCES IN MODAL LOGIC 2020 (Online)
  • 国際学会
• [学会発表] Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic (2020)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: ADVANCES IN MODAL LOGIC 2020 (Online)
  • 国際学会
• [学会発表] Constructive Dynamic Logic of Relation Changers (2020)
  • 著者名/発表者名: Ryo Hatano and Katsuhiko Sano
  • 学会等名: 3rd DaLi; Workshop, Dynamic Logic: New Trends and Applications
  • 国際学会
• [学会発表] Modal Logic and Planarity of Graphs (2020)
  • 著者名/発表者名: Izumi Takeuti and Katsuhiko Sano
  • 学会等名: the 5th Asian Workshop on Philosophical Logic (AWPL)
  • 国際学会
• [学会発表] Incorporating rejection condition into inquisitive semantics (2020)
  • 著者名/発表者名: 佐野勝彦
  • 学会等名: 第2回ズームコロキュアム, 南山大学言語研究センター
  • 招待講演
• [学会発表] Proof-theoretic Results of Common Sense Modal Predicate Calculi (2020)
  • 著者名/発表者名: Takahiro Sawasaki and Katsuhiko Sano
  • 学会等名: the 5th Asian Workshop on Philosophical Logic (AWPL)
  • 国際学会
• [学会発表] Goldblatt-Thomason theorems for non-classical logics (2020)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Logic Webinar@ IITK, Department of Mathematics and Statistics
  • 国際学会 / 招待講演
• [学会発表] Intuitionistic Epistemic Logics with Distributed Knowledge (2020)
  • 著者名/発表者名: Ryo Murai and Katsuhiko Sano
  • 学会等名: Thirteenth Latin American Workshop on New Methods of Reasoning 2020
  • 国際学会
• [学会発表] On Intuitionistic Epistemic Logic with Distributed Knowledge (2020)
  • 著者名/発表者名: Ryo Murai
  • 学会等名: Workshop CELLO
  • 国際学会
• [学会発表] Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic (2019)
  • 著者名/発表者名: Youan Su and Katsuhiko Sano
  • 学会等名: SOCREAL 2019: the International Workshop on Philosophy and Logic of Social Reality
  • 国際学会
• [学会発表] Sequent Calculi for Multi-Agent Epistemic Logics for Distributed Knowledge (2019)
  • 著者名/発表者名: Ryo Murai and Katsuhiko Sano
  • 学会等名: SOCREAL 2019: the International Workshop on Philosophy and Logic of Social Reality
  • 国際学会
• [学会発表] Goldblatt-Thomason theorems for non-classical logics (2019)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: 16th Asian Logic Conference 2019
  • 国際学会 / 招待講演
• [学会発表] 分散知識オペレータを持つ多エージェント様相論理のシークエント計算 (2019)
  • 著者名/発表者名: 村井 涼
  • 学会等名: 第36回記号論理と情報科学 研究集会 (SLACS 2019)
• [学会発表] Cut-free and Analytic Sequent Calculus of Intuitionistic Epistemic Logic (2019)
  • 著者名/発表者名: Su Youan and Katsuhiko Sano
  • 学会等名: LOGICA2019
  • 国際学会
• [図書] 『再―くりかえす世界』 (2021)
  • 著者名/発表者名: 橋本 雄
  • 総ページ数: 306
  • 出版者: 北海道大学出版会
  • ISBN: 9784832934115
• [備考] 佐野 勝彦
  • URL: https://researchmap.jp/v_sano
• [備考] 6th Asian Workshop on Philosophical Logic
  • URL: https://sites.google.com/view/awpl2024/home
• [備考] ResearchMap (佐野勝彦)
  • URL: https://researchmap.jp/v_sano/
• [備考] Google Scholar (Katsuhiko Sano)
  • URL: https://scholar.google.co.jp/citations?user=eJ9SSCEAAAAJ&hl=ja
• [備考] Research Map (佐野勝彦)
  • URL: https://researchmap.jp/v_sano
• [備考] Katsuhiko Sano's website
  • URL: http://k2sn.sakura.ne.jp/
• [備考] 佐野 勝彦
  • URL: https://researchmap.jp/v_sano/
• [学会・シンポジウム開催] 6th Asian Workshop on Philosophical Logic (2024)
• [学会・シンポジウム開催] Sapporo Mini-workshop on Non-classical Logic (2023)