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 (83)：

Masanobu Toyooka, Katsuhiko Sano. How can we avoid Popper's collapsing problem and have Craig interpolation?. Annals of the Japan Association for Philosophy of Science. 2024. 33. 145-162
Masanobu Toyooka, Katsuhiko Sano. Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation. Studia Logica. 2024. 112. 1091-1121
Katsuhiko Sano, Dazhu Li, Fenrong Liu. Hybrid Logic of the Hide and Seek Game. Studia Logica. 2024
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

ｍ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