Haruka Kogure

According to our database, Haruka Kogure authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Arithmetical completeness theorems for monotonic modal logics.

Haruka Kogure, Taishi Kurahashi

Ann. Pure Appl. Log., July, 2023