Haruka Kogure

activity

20222026

most citedOn the conservation results for local reflection principles

1 citations · 1 across the 9 of their papers we have counts for

collaborators

Showing 2023Show all

2 papers · 1 filter

math.LO2023

Interpolation properties for the bimodal provability logic $GR$

Haruka Kogure, Taishi Kurahashi

We study interpolation properties for Shavrukov's bimodal logic $GR$ of usual and Rosser provability predicates. For this purpose, we introduce a new sublogic $\mathbf{GR}…

math.LO2023★ 1 cited

On the conservation results for local reflection principles

Haruka Kogure, Taishi Kurahashi

For a class $Γ$ of formulas, $Γ$ local reflection principle $Rfn_{Γ} (T)$ for a theory $T$ of arithmetic is a scheme formalizing the $Γ$ -soundness of $T$ . Beklemishev proved…

Interpolation properties for the bimodal provability logic GR

On the conservation results for local reflection principles

Interpolation properties for the bimodal provability logic $GR$