Haruka Kogure

According to our database¹, Haruka Kogure authored at least 3 papers between 2023 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Interpolation Properties for the Bimodal Provability Logic bfGR.

[DOI]

Stud Logica, June, 2026

2025

On the conservation results for local reflection principles.

[DOI]

J. Log. Comput., 2025

2023

Arithmetical completeness theorems for monotonic modal logics.

[DOI]

Ann. Pure Appl. Log., July, 2023