Sano Katsuhiko

サノカツヒコ | Sano Katsuhiko

Affiliation and department：
Job title： Professor
Homepage URL (1)： https://scholar.google.co.jp/citations?user=eJ9SSCEAAAAJ&hl=ja

Research field (3)： Intelligent informatics , Information theory , Philosophy and ethics

Research keywords (5)： Hybrid Logic , Dynamic Epistemic Logic , Alan Turing , Non-classical Logic , Modal Logic

Research theme for competitive and other funds (7)：

2022 - 2027 An interdisciplinary study of the dynamics of utterances in social communication in terms of dynamic modal logic
2019 - 2024 Proof-Theoretic Study of Doxastic and Epistemic Updates via Questions
2019 - 2022 Model Theory and proof theory of probabilistic logic in propositional and modal team semantics
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

Show all

Papers (81)：

Toyooka, M., Sano, K. Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation. Studia Logica. 2024. To appear
Sizhuo Liu, Katsuhiko Sano. Non-labelled Sequent Calculi of Public Announcement Expansions of K45 and S5. Logic, Rationality, and Interaction. 2023. 190-206
Masanobu Toyooka, Katsuhiko Sano. Semantic Incompleteness of del Cerro and Herzig's Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic. The Australasian Journal of Logic. 2023. 20. 3. 397-411
Ryo Murai, Katsuhiko Sano. Intuitionistic Public Announcement Logic with Distributed Knowledge. Studia Logica. 2023
Youan Su, Katsuhiko Sano. A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic. Studia Logica. 2023

ｍore...

Books (2)：

数学における証明と真理: 様相論理と数学基礎論
共立出版 2016 ISBN:4320111486
チューリング
近代科学社 2014 ISBN:4764904543

Education (3)：

2003 - 2006 Kyoto University Department of Philosophy and History of Science, Graduate School of Letters Doctoral Course
2000 - 2003 Kyoto Univeristy Department of Philosophy and History of Science, Graduate School of Letters Master's Course
1996 - 2000 Kyoto University Faculty of Letters Philosophy and History of Science

Professional career (2)：

Master of Arts (Kyoto University)
Doctor of Philosophy (Kyoto University)

Work history (9)：

2024/04 - 現在 Hokkaido University Faculty of Humanities and Human Sciences Professor
2019/04 - 2024/03 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

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