I wrote
雑誌論文(査読あり)
- Nishimura, Y. "Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics." Journal of Logic and Computation, 2024.
Article
- Nishimura, Y. and T. Takagi. "Complete and Terminating Tableau Calculus for Undirected Graph." to appear.
講演録(査読あり)
- Nishimura, Y. (2024). "Agent-Knowledge Logic for Alternative Epistemic Logic."
In proceedings of NCL'24.
講演録(査読なし)
- 西村祐輝 (2022).「Tableau Calculus of Hybrid Logic」.
数理解析研究所講究録2228,
pp. 1-11.