So Morioka

According to our database, So Morioka authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Cut-Free Sequent Calculi for the Provability Logic d.

Ryo Kashima, Taishi Kurahashi, Sohei Iwata, So Morioka

Rev. Symb. Log., 2025