佐野勝彦SANO Katsuhiko

北海道大学 · 文学部 / 文学院 / 文学研究院 · 教授

留学神社

基础信息

北海道大学 · 文学部 / 文学院 / 文学研究院 · 教授

研究关键词Discrete・mathematics・動的認識論理・Algebra・様相論理・ハイブリッド論理・非古典論理・アラン・チューリング

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

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月,

下一步

个性化匹配理由、联系角度与收藏保存需要登录后使用。