Katsuhiko Sano

J-GLOBAL         Last updated: Oct 21, 2019 at 17:05
 
Avatar
Name
Katsuhiko Sano
Affiliation
Hokkaido University
Section
Department of Philosophy and Ethics, Faculty of Humanities and Human Sciences
Job title
Associate Professor
Degree
Master of Arts(Kyoto University), Doctor of Philosophy(Kyoto University)

Research Areas

 
 

Academic & Professional Experience

 
Apr 2019
 - 
Today
Associate Professor, Faculty of Humanities and Human Sciences, Hokkaido University
 
Sep 2016
 - 
Mar 2019
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
 

Education

 
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

 
Youan Su,Katsuhiko Sano
Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings   326-339   2019   [Refereed]
Takahiro Sawasaki,Katsuhiko Sano,Tomoyuki Yamada
Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings   244-258   2019   [Refereed]
Katsuhiko Sano,Jonni Virtema
Ann. Pure Appl. Logic   170(9) 1100-1127   2019   [Refereed]
Katsuhiko Sano,Minghui Ma
Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings   132-143   2019   [Refereed]
Minghui Ma,Katsuhiko Sano
J. Log. Comput.   28(8) 1781-1804   2018   [Refereed]
Pimolluck Jirakunkanok,Katsuhiko Sano,Satoshi Tojo
Artif. Intell. Law   26(3) 201-249   2018   [Refereed]
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]
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, 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]