7 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…
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…
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 $ T \vdash Ï\leftrightarrow Ï…
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 $\ma…
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 sentenc…