研究者
J-GLOBAL ID:200901001215376847   更新日: 2020年05月25日

佐野 勝彦

サノ カツヒコ | Sano Katsuhiko
所属機関・部署:
職名: 准教授
ホームページURL (1件): http://k2sn.sakura.ne.jp/
研究分野 (3件): 知能情報学 ,  情報学基礎論 ,  哲学、倫理学
研究キーワード (6件): Hybrid Logic ,  動的認識論理 ,  ハイブリッド論理 ,  アラン・チューリング ,  非古典論理 ,  様相論理
競争的資金等の研究課題 (6件):
  • 2019 - 2022 命題・様相チーム意味論による確率論理のモデル論・証明論研究
  • 2019 - 2022 不完全情報下での質疑によるエージェントの知識・信念更新:証明論的研究
  • 2017 - 2022 発話と社会的文脈の相互作用に関する動的様相論理による学際的研究
  • 2015 - 2019 多次元・多ソート化によるエージェント相互作用の証明論的研究
  • 2012 - 2015 多次元ハイブリッド論理に基づくエージェント相互作用の動的研究
全件表示
論文 (45件):
  • Youan Su, Katsuhiko Sano. Logics for Knowability Paradox with a Non-normal Possibility Operator. Knowledge, Proof and Dynamics. Logic in Asia: Studia Logica Library. 2020. 51-72
  • Ryo Hatano, Katsuhiko Sano. Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms. Studia Logica. 2020
  • Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano. A cut-free labelled sequent calculus for dynamic epistemic logic. Journal of Logic and Computation. 2020. exaa014
  • Youan Su, Katsuhiko Sano. First-Order Intuitionistic Epistemic Logic. Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings. 2019. 326-339
  • Takahiro Sawasaki, Katsuhiko Sano, Tomoyuki Yamada. Term-Sequence-Modal Logics. Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings. 2019. 244-258
もっと見る
書籍 (2件):
  • 数学における証明と真理: 様相論理と数学基礎論
    共立出版 2016 ISBN:4320111486
  • チューリング
    近代科学社 2014 ISBN:4764904543
学歴 (3件):
  • 2003 - 2006 京都大学大学院 文学研究科 現代文化学専攻科学哲学科学史専修 博士後期課程
  • 2000 - 2003 京都大学大学院 文学研究科 現代文化学専攻科学哲学科学史専修 博士前期課程
  • 1995 - 2000 京都大学 文学部 人文学科基礎現代文化学系 科学哲学科学史専修
学位 (2件):
  • 修士(文学) (京都大学)
  • 博士(文学) (京都大学)
経歴 (8件):
  • 2019/04 - 現在 北海道大学 准教授
  • 2016/09 - 2019/03 北海道大学 准教授
  • 2011/07 - 2016/09 北陸先端科学技術大学院大学 助教
  • 2011/04 - 2011/07 京都大学大学院 研究員(最先端戦略強化)
  • 2008/04 - 2011/03 日本学術振興会 特別研究員(PD、京都大学、受入研究者:林晋教授)
全件表示
所属学会 (4件):
応用哲学会 ,  日本数学会 ,  日本科学哲学会 ,  科学基礎論学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る