3 citations · 10 across the 16 of their papers we have counts for
30 papers
Fixed points in abstract provability structures
Tsubasa Kumasaka, Taishi Kurahashi
We study fixed points in abstract provability structures (APSs), which were introduced by Beklemishev and Shamkanov as an order-theoretic framework for studying Gödel's second inco…
On collection schemes and Gaifman's splitting theorem
Taishi Kurahashi, Yoshiaki Minami
We study model theoretic characterizations of various collection schemes over from the viewpoint of Gaifman's splitting theorem. Among other things, we prove that f…
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}…
The Modal Logic of Provability and Forcing
Taishi Kurahashi, Rihito Takase
Solovay's arithmetical completeness theorem states that the modal logic of provability coincides with the modal logic . Hamkins and Löwe studied the modal logical aspe…
Cut-free sequent calculi for the provability logic D
Ryo Kashima, Taishi Kurahashi, Sohei Iwata +1
We say that a Kripke model is a GL-model if the accessibility relation is transitive and converse well-founded. We say that a Kripke model is a D-model if it is obtained by…
Pour-El's Landscape
Taishi Kurahashi, Albert Visser
We study the effective versions of several notions related to incompleteness, undecidability and inseparability along the lines of Pour-El's insights. Firstly, we strengthen Pour-E…