1 citations · 1 across the 9 of their papers we have counts for
10 papers
Modal logics of conjunctively closed provability predicates
Haruka Kogure, Taishi Kurahashi
We investigate non-normal modal logics corresponding to provability predicates satisfying the derivability condition : $T\vdash\mathrm{Pr}_T(\ulcorne…
Finite Kripke models and provability interpretations in quantified modal logic
Haruka Kogure, Taishi Kurahashi
In this paper, we investigate arithmetical completeness with respect to finite Kripke models of quantified modal logic. We adapt the finite-model embedding techniques of Artemov an…
Provability interpretation of non-normal modal logics having neighborhood semantics
Haruka Kogure
We study provability predicates satisfying the following condition from a modal logical perspective: if …
Modal logical aspects of provability predicates and consistency statements
Haruka Kogure, Taishi Kurahashi
This paper studies the modal logical aspects of provability predicates and consistency statements for theories of arithmetic. First, we provide an overview of previous works on the…
Doubly partially conservative sentences
Haruka Kogure, Taishi Kurahashi
The purpose of the present paper is to analyze several variants of Solovay's theorem on the existence of doubly partially conservative sentences. First, we investigate sentence…
A variety of partially conservative sentences
Haruka Kogure, Taishi Kurahashi
We study the existence of a sentence which is simultaneously -conservative over consistent RE extensions and of Peano Arithmetic for various reasonable pairs $(Γ, Θ)…
Arithmetical completeness for some extensions of the pure logic of necessitation
Haruka Kogure
We investigate the arithmetical completeness theorems of some extensions of Fitting, Marek, and Truszczyński's pure logic of necessitation . For , let $\math…
Interpolation properties for the bimodal provability logic
Haruka Kogure, Taishi Kurahashi
We study interpolation properties for Shavrukov's bimodal logic of usual and Rosser provability predicates. For this purpose, we introduce a new sublogic $\mathbf{GR}…
On the conservation results for local reflection principles
Haruka Kogure, Taishi Kurahashi
For a class of formulas, local reflection principle for a theory of arithmetic is a scheme formalizing the -soundness of . Beklemishev proved…
Arithmetical completeness theorems for monotonic modal logics
Haruka Kogure, Taishi Kurahashi
We investigate modal logical aspects of provability predicates satisfying the following condition: : If , then $T \vdash \mathrm{Pr}…