I wrote

Journal Articles (Refereed)

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. arXiv

Conference Proceedings (Refereed)

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

Conference Proceedings (Not Refereed)

1. Nishimura, Y. (2022). "Tableau Calculus of Hybrid Logic." In RIMS Kokyuroku 2228, pp. 1-11. (Japanese)