東京科学大学 · 情報理工学院

研究キーワード数理論理学・ハイブリッド論理・様相論理・タブロー計算・証明論

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Complete and Terminating Tableau Calculus for Undirected Graph2026 · Logic in Asia: Studia Logica Library 173 - 191 2026年4月
• Agent-Knowledge Logic for Alternative Epistemic Logic2026 · Bulletin of the Section of Logic 54 ( 4 ) 2026年3月
• Completeness of tableau calculi for two-dimensional hybrid logics2024 · Journal of Logic and Computation 35 ( 3 ) 2024年4月
• 2次元Hybrid Logicのタブロー計算の完全性と停止性2023 · 2023年3月

• 多次元 Hybrid Logic のタブローと決定可能性2023 · 2023年4月 - 2026年3月

• 公式プロフィール