What's New

2025-03-03: New article Terminating Hybrid Tableaus for Ordered Models in arXiv.

2025-02-28: New content "Modal Logic and Bulldozing" in the page スライド集. This slide is written in English.

2025-02-22: I have given a presentation in MLG59th.

I am

Profile

Nishimura Yuki

I'm in the 2nd grade of doctoral course in Institute of Science Tokyo, belonging to Kashima Lab.

My major is mathematical logic. See this page for more detail.

Biography

• 2017: Graduated Asahigaoka High School, Aichi, Japan
• 2021: Bachelor of Liberal Arts, The University of Tokyo
• 2023: Master of Science, Tokyo Institute of Technology
• Now: Doctoral Course, School of Computing, Institute of Science Tokyo

Contact

• e-mail: nishimura.y.as [at] m.titech.ac.jp (he/him)
• X (Twitter): @w_v_logic