2025-03-03: arXivに新しい論文 Terminating Hybrid Tableaus for Ordered Modelsを投稿しました。
2025-02-28: スライド集のページに新規スライド「Modal Logic and Bulldozing」を追加しました。
2025-02-22: MLG59th にて発表を行いました。
西村 祐輝 (Nishimura Yuki)
東京科学大学 博士後期課程2年 （鹿島研究室）
数理論理学を勉強しています。より詳しくはこちらのページをご覧ください。