Sho Shimomichi

According to our database, Sho Shimomichi authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Completeness Theorems for Modal Logic in Second-Order Arithmetic.

Sho Shimomichi, Yuto Takeda, Keita Yokoyama

Proceedings of the Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025