九州大学 · 数理学府・数理学研究院

研究キーワードhybrid logic・quantum logic・bisimulation・Ehrenfeucht-Fraisse games・proof systems・transition algebras・logic programming

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

• Proof Scores: A Survey2025 · ACM Computing Surveys 57 ( 10 ) 1 - 37 2025年4月 （ ISSN: 0360-0300 ）
• A modular bisimulation characterisation for fragments of hybrid logic2025 · The Bulletin of Symbolic Logic 1 - 24 2025年3月
• Hybrid-Dynamic Ehrenfeucht-Fraïssé Games2025 · ACM Transactions on Computational Logic 1 - 24 2025年7月 （ ISSN: 1529-3785 ）
• Forcing, Transition Algebras, and Calculi2024 · 51st EATCS International Colloquium on Automata, Languages and Programming, ICALP 2024 51 143:1 - 143:17 2024年5月

• A theorem prover for the correct development of reconfigurable systems2023 · 2023年4月 - 2027年4月
• Mathematical foundations for the reconfiguration paradigm2020 · 2020年4月 - 2024年3月
• The relationship between gaining expressive power in extending first-order logics and losing 'control' over the extension2018 · 2018年4月 - 2021年3月

• 公式プロフィール