• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.
Advanced
search
ALL

Synonyms(0)

Find out more technical terms

Thesaurus Map Clips

ー



Please login to MyJ-GLOBAL to use J- GLOBAL.
Please register to create your MyJ-GLOBAL account, if you do not have one.
What is MyJ-GLOBAL?
Login Register now
Number of clips is over the max size. (Max number of Clips: 600)
Close
Reset
Go to 「How to search」 page
Advanced search: Search from
　
　Select basic information for advanced search
Free word
～
Chemical structure search
How to Search
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
Import

MOLfile format is only available (V3000 format is not available)

              
Rchr
J-GLOBAL ID：200901001215376847   Update date: Nov. 28, 2024

Sano Katsuhiko

サノ カツヒコ | Sano Katsuhiko
Affiliation and department：
Hokkaido University Laboratory of Philosophy and Ethics, Faculty of Humanities and Human Sciences

About Hokkaido University Laboratory of Philosophy and Ethics, Faculty of Humanities and Human Sciences


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 (82)：
  • 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
  • Ryo Murai, Katsuhiko Sano. Intuitionistic Public Announcement Logic with Distributed Knowledge. 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

TOP

BOTTOM