Katsuhiko Sano
Scholar

Katsuhiko Sano

Google Scholar ID: eJ9SSCEAAAAJ
Professor, Faculty of Humanities and Human Sciences, Hokkaido University
Logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
675
 
H-index
14
 
i10-index
22
 
Publications
20
 
Co-authors
20
list available
Contact
No contact links provided.
Publications
5 items
Phase Semantic Cut-elimination for Intuitionistic Linear Logic with Least and Greatest Fixed Points
2026
Cited
0
Uniform Interpolation of Basic Tense Logic
2026
Cited
0
Analytic Cut in Epistemic Logics with Distributed Knowledge
2026
Cited
0
Undecidability of Linear Logics without Weakening
2025
Cited
0
Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
2025
Cited
0
Resume (English only)
Co-authors
20 total
Jonni Virtema
Jonni Virtema
Lecturer, University of Sheffield, UK
Minghui Ma
Minghui Ma
Sun Yat-Sen University
Hitoshi Omori
Hitoshi Omori
Tohoku University
tadeusz litak
tadeusz litak
University of Naples Federico II
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Lutz Schröder
Lutz Schröder
Professor of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg
Co-author 8
Co-author 8