Akinori Maniwa

According to our database, Akinori Maniwa authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents.

Akinori Maniwa, Ryo Kashima

Proceedings of the Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications, January, 2024