Kyushu University · Graduate School of Mathematics / Faculty of Mathematics

Research keywordshybrid logic・quantum logic・bisimulation・Ehrenfeucht-Fraisse games・proof systems・transition algebras・logic programming

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

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

• Official profile