研究者
J-GLOBAL ID:200901001215376847   更新日: 2019年10月21日

佐野 勝彦

サノ カツヒコ | Katsuhiko Sano
所属機関・部署:
職名: 准教授
ホームページURL (1件): http://k2sn.sakura.ne.jp/
研究分野 (3件): 知能情報学 ,  情報学基礎理論 ,  哲学・倫理学
研究キーワード (6件): Hybrid Logic ,  動的認識論理 ,  ハイブリッド論理 ,  アラン・チューリング ,  非古典論理 ,  様相論理
論文 (45件):
  • 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
  • Katsuhiko Sano,Jonni Virtema. Characterising modal definability of team-based logics via the universal modality. Ann. Pure Appl. Logic. 2019. 170. 9. 1100-1127
  • Katsuhiko Sano,Minghui Ma. Sequent Calculi for Normal Update Logics. Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. 2019. 132-143
  • Minghui Ma,Katsuhiko Sano. How to update neighbourhood models. J. Log. Comput. 2018. 28. 8. 1781-1804
もっと見る
書籍 (2件):
  • チューリング
    近代科学社 2014 ISBN:4764904543
  • 数学における証明と真理: 様相論理と数学基礎論
    共立出版 2016 ISBN:4320111486
学歴 (3件):
  • 1995 - 2000 京都大学 文学部 人文学科基礎現代文化学系 科学哲学科学史専修
  • 2000 - 2003 京都大学大学院 文学研究科 現代文化学専攻科学哲学科学史専修 博士前期課程
  • 2003 - 2006 京都大学大学院 文学研究科 現代文化学専攻科学哲学科学史専修 博士後期課程
学位 (2件):
  • 修士(文学) (京都大学)
  • 博士(文学) (京都大学)
経歴 (8件):
  • 2006/04 - 2007/03 京都大学大学院 研究員(COE)
  • 2007/04 - 2007/06 京都大学大学院 研究員(学術支援)
  • 2007/07 - 2008/03 京都大学大学院 研究員(産官学連携研究員)
  • 2008/04 - 2011/03 日本学術振興会 特別研究員(PD、京都大学、受入研究者:林晋教授)
  • 2011/04 - 2011/07 京都大学大学院 研究員(最先端戦略強化)
全件表示
所属学会 (4件):
応用哲学会 ,  日本数学会 ,  科学基礎論学会 ,  日本科学哲学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る