I wrote

雑誌論文（査読あり）

  1. Nishimura, Y. Agent-Knowledge Logic for Alternative Epistemic Logic. Bulletin of the Section of Logic, 54(4), 607–643. Article
  2. Nishimura, Y. and Takagi, T. Complete and Terminating Tableau Calculus for Undirected Graph. to appear. arXiv
  3. Nishimura, Y. Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics. Journal of Logic and Computation, 53(5), exae018, 2025. Article

雑誌論文（査読中）

  1. Nishimura, Y. Terminating Hybrid Tableaus for Ordered Models. submitted. arXiv

講演録（査読あり）

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

講演録（査読なし）

  1. 西村祐輝．Tableau Calculus of Hybrid Product Logic． 数理解析研究所講究録2228， pp. 1-11, 2022.