Institute of Science Tokyo · School of Computing

Research keywords数理論理学・ハイブリッド論理・様相論理・タブロー計算・証明論

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

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

• Official profile