2026-07-27: Our paper Complexity of the SAT problem for the Hybrid Logic has been available.
2026-07-24: New article is up on the page 様相論理のノート.
2026-07-17: My paper Terminating Hybrid Tableaus for Ordered Models has been published.
NISHIMURA Yuki
Assistant Professor at Department of Computer Science, School of Computing, Institute of Science Tokyo
Ph.D. in Science (Institute of Science Tokyo)
My major is mathematical logic. See this page for more detail.