2026-07-27: 論文 Complexity of the SAT problem for the Hybrid Logic が公開されました。
2026-07-24: 様相論理のノートに新しい記事「様相論理ことはじめ」を公開しました。
2026-07-17: 論文 Terminating Hybrid Tableaus for Ordered Models が出版されました。
西村 祐輝 (NISHIMURA Yuki)
博士（理学）
数理論理学を勉強しています。より詳しくはこちらのページをご覧ください。