9 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…
Refinements of provability and consistency principles for the second incompleteness theorem
Taishi Kurahashi
This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of t…
Hierarchical formula classes with respect to semi-classical prenex normalization
Makoto Fujiwara, Taishi Kurahashi
In [10], the authors formalized the standard transformation procedure for prenex normalization of first-order formulas and showed that the classes and …
Extensional Independence
Taishi Kurahashi, Albert Visser
Joel Hamkins asks whether there is a -formula such that is independent over , if this theory is consistent, where this construction is extensional…
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…