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

研究キーワード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月,

• 社会的コミュニケーションにおける発話のダイナミクスの動的様相論理による学際的研究
• 直観主義様相論理に対する補間定理の意味論的研究
• 命題・様相チーム意味論による確率論理のモデル論・証明論研究
• 多次元・多ソート化によるエージェント相互作用の証明論的研究

• 公式プロフィール