Katsuhiko Sano

J-GLOBAL         Last updated: Jan 6, 2019 at 20:49
Katsuhiko Sano
Hokkaido University
Graduate School of Letters Division of Philosophy and Cultural Sciences
Job title
Associate Professor
Master of Arts(Kyoto University), Doctor of Philosophy(Kyoto University)

Research Areas


Academic & Professional Experience

Sep 2016
Associate Professor, Graduate School of Letters, Hokkaido University
Jul 2011
Sep 2016
Assistant Professor, School of Information Science, Japan Advanced Institute of Science and Technology
Apr 2011
Jul 2011
Post-doc Researcher, Graduate School of Letters, Kyoto University
Apr 2008
Mar 2011
JSPS Post-doctoral Fellow, Japan Society for the Promotion of Science (JSPS)
Jul 2007
Mar 2008
Researcher (Industry-Government-Academia Collaboration), Graduate School of Letters, Kyoto University
Apr 2007
Jun 2007
Researcher (Academic Support), Graduate School of Letters, Kyoto University
Apr 2006
Mar 2007
Researcher (COE), Graduate School of Letters, Kyoto University


Apr 2003
Mar 2006
Doctoral Course, Deparment of Philosophy and History of Science, Graduate School of Letters, Kyoto University
Apr 2000
Mar 2003
Master's Course, Deparment of Philosophy and History of Science, Graduate School of Letters, Kyoto Univeristy
Apr 1995
Mar 2000
Philosopy and History of Science, Faculty of Letters, Kyoto University

Published Papers

Giulia Sindoni,Katsuhiko Sano,John G. Stell
Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings   113-130   2018   [Refereed]
Pimolluck Jirakunkanok,Katsuhiko Sano,Satoshi Tojo
Artif. Intell. Law   26(3) 201-249   2018   [Refereed]
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Logical Methods in Computer Science, Volume 14, Issue 1 (March 20, 2018) lmcs:4390      Jan 2017   [Refereed]
We propose a generalization of first-order logic originating in a neglected
work by C.C. Chang: a natural and generic correspondence language for any types
of structures which can be recast as Set-coalgebras. We discuss axiomatization
and complete...
Katsuhiko Sano, Jonni Virtema
   Feb 2015   [Refereed]
We study model and frame definability of various modal logics. Let ML(A+)
denote the fragment of modal logic extended with the universal modality in
which the universal modality occurs only positively. We show that a class of
Kripke models is defi...
Katsuhiko Sano, Mai Sugimoto
Advanced Information and Knowledge Processing   101-130   Jan 2017   [Invited]
© Springer International Publishing AG 2017. The most famous academic contributions of Alan Turing are on Turing machines in 1936 and on the Turing test in 1950. While the motivations of these two works are apparently quite different, this chapter...
Katsuhiko Sano,John G. Stell
Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017.   105-121   2017   [Refereed]
Sujata Ghosh,Katsuhiko Sano
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, ICAART 2017, Volume 2, Porto, Portugal, February 24-26, 2017.   615-623   2017   [Refereed]
Katsuhiko Sano
Logic, Rationality, and Interaction - 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings   224-239   2017   [Refereed]
Shoshin Nomura,Hiroakira Ono,Katsuhiko Sano
Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings   283-298   2016   [Refereed]
Katsuhiko Sano,Jonni Virtema
Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings   392-409   2016   [Refereed]