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 - 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
2008 - 2010 拡張様相概念を基盤とした空間的論理の研究
Show all
Papers (73):
Youan Su, Katsuhiko Sano. A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic. Studia Logica. 2023
Katsuhiko Sano, Tomoyuki Yamada. Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic. Dynamics in Logic and Language. 2023. 116-135
Hiroakira Ono, Katsuhiko Sano. Analytic Cut and Mints' Symmetric Interpolation Method for Bi-ntuitionistic Tense Logic. Advances in Modal Logic. 2022. 14. 601-623
Ryo Hatano, Katsuhiko Sano. Three faces of recursion axioms: the case of constructive dynamic logic of relation changers. Journal of Logic and Computation. 2022
Ryo Murai, Katsuhiko Sano. Intuitionistic Epistemic Logic with Distributed Knowledge. Computación y Sistemas. 2022. 26. 2. 823-834
2003 - 2006 Kyoto University Deparment of Philosophy and History of Science, Graduate School of Letters Doctoral Course
2000 - 2003 Kyoto Univeristy Deparment of Philosophy and History of Science, Graduate School of Letters Master's Course
1995 - 2000 Kyoto University Faculty of Letters 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
2007/07 - 2008/03 Kyoto University Graduate School of Letters Researcher (Industry-Government-Academia Collaboration)
2007/04 - 2007/06 Kyoto University Graduate School of Letters Researcher (Academic Support)
2006/04 - 2007/03 Kyoto University Graduate School of Letters Researcher (COE)
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