3 papers
math.LO2025
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 …
math.LO2025
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…
math.LO2025
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 $(Γ, Θ)…