Rchr
J-GLOBAL ID:200901001215376847   Update date: May. 02, 2021

Sano Katsuhiko

サノ カツヒコ | Sano Katsuhiko
Affiliation and department:
Job title: Associate Professor
Homepage URL  (1): http://k2sn.sakura.ne.jp/
Research field  (3): Intelligent informatics ,  Information theory ,  Philosophy and ethics
Research keywords  (6): Hybrid Logic ,  Dynamic Epistemic Logic ,  ハイブリッド論理 ,  Alan Turing ,  Non-classical Logic ,  Modal Logic
Research theme for competitive and other funds  (6):
  • 2019 - 2022 Model Theory and proof theory of probabilistic logic in propositional and modal team semantics
  • 2019 - 2022 Proof-Theoretic Study of Doxastic and Epistemic Updates via Questions
  • 2017 - 2022 An Interdisciplinary Study of the Interaction between Utterances and Social Contexts in terms of Dynamic Modal Logic
  • 2015 - 2019 Proof-theoretic study of multi-agent interaction via many-dimensional and many-sorted logics
  • 2012 - 2015 A dynamic Investigation of multi-agent interaction via multi-dimensional hybrid logic
Show all
Papers (63):
  • Giulia Sindoni, Katsuhiko Sano, John G. Stell. Expressing discrete spatial relations under granularity. Journal of Logical and Algebraic Methods in Programming. 2021. 100682-100682
  • Ryo Hatano, Katsuhiko Sano. Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms. Studia Logica. 2021. 109. 1. 95-124
  • Takahiro Sawasaki, Katsuhiko Sano. Frame definability, canonicity and cut elimination in common sense modal predicate logics. Journal of Logic and Computation. 2020
  • Ryo Hatano, Katsuhiko Sano. Constructive Dynamic Logic of Relation Changers. Lecture Notes in Computer Science. 2020. 137-154
  • Katsuhiko Sano, Sakiko Yamasaki. Subformula property and Craig interpolation theorem of sequent calculi for tense logics. Short Papers of Advances in Modal Logic (AiML 2020). 2020. 97-101
more...
Books (2):
  • 数学における証明と真理: 様相論理と数学基礎論
    共立出版 2016 ISBN:4320111486
  • チューリング
    近代科学社 2014 ISBN:4764904543
Education (3):
  • 2003 - 2006 Kyoto University Doctoral Course
  • 2000 - 2003 Kyoto Univeristy Master's Course
  • 1995 - 2000 Kyoto University Philosopy and History of Science
Professional career (2):
  • Master of Arts (Kyoto University)
  • Doctor of Philosophy (Kyoto University)
Work history (8):
  • 2019/04 - 現在 Hokkaido University Faculty of Humanities and Human Sciences Associate Professor
  • 2016/09 - 2019/03 Hokkaido University Graduate School of Letters Associate Professor
  • 2011/07 - 2016/09 Japan Advanced Institute of Science and Technology School of Information Science Assistant Professor
  • 2011/04 - 2011/07 Kyoto University Graduate School of Letters Post-doc Researcher
  • 2008/04 - 2011/03 Japan Society for the Promotion of Science (JSPS) JSPS Post-doctoral Fellow
Show all
Association Membership(s) (4):
Japanese Association for the Contemporary and Applied Philosophy ,  THE MATHEMATICAL SOCIETY OF JAPAN ,  The Japan Association for Philosophy of Science ,  Philosophy of Science Society, Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page