A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction. - Yosuke Fukuda 001; Ryosuke Igarashi (LORI, 2017)

A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4. - Yosuke Fukuda 001; Akira Yoshimizu (FSCD, 2019)

An S4 extension of the λμμ-calculus. - Yosuke Fukuda 001 (J. Inf. Process., 2023)

Comparison of Three Countries on Food Challenges and Values Based on Open-Ended Statements in Questionnaires. - Kyoko Ito; Yosuke Fukuda 001 (HCI (5), 2025)