Ryugaku Jinja · Professor Archive
Public Professor Archive
SANO Katsuhiko佐野 勝彦
Hokkaido University · Faculty of Letters / Graduate School of Letters / Research Faculty of Letters · 教授
- Publications
- 4
- Projects
- 4
- Keywords
- 8
留学
神社Hokkaido University · Faculty of Letters / Graduate School of Letters / Research Faculty of Letters · 教授
Research keywordsDiscrete・mathematics・動的認識論理・Algebra・様相論理・ハイブリッド論理・非古典論理・アラン・チューリング
This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.
- Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity2026 · Lecture Notes in Artificial Intelligence (LNAI/LNCS), 2026年,
- Craig Interpolation for Awareness Logics2025 · Lecture Notes in Computer Science, 15402, 233, 246, 2025年04月,
- Cut-free Sequent Calculi for Wansing’s Expansions of Nelson’s Logics2025 · Studia Logica, 2025年11月24日,
- How can we avoid Popper's collapsing problem and have Craig interpolation?2024 · Annals of the Japan Association for Philosophy of Science, 33, 145, 162, 2024年12月,
Next stepSign in for fit and contact guidance
Personalized fit, contact angles, and saved workflows require sign-in.
