I wrote

雑誌論文(査読あり)

  1. Nishimura, Y. "Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics." Journal of Logic and Computation, 2024. Article
  2. Nishimura, Y. and T. Takagi. "Complete and Terminating Tableau Calculus for Undirected Graph." to appear.

講演録(査読あり)

  1. Nishimura, Y. (2024). "Agent-Knowledge Logic for Alternative Epistemic Logic." In proceedings of NCL'24.

講演録(査読なし)

  1. 西村祐輝 (2022).「Tableau Calculus of Hybrid Logic」. 数理解析研究所講究録2228, pp. 1-11.