Launch week offerEnds in00h00m00s

annual Promonthly Pro

Taishi Kurahashi

Kobe University

Japan

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Japan

Articles (16)

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Collaborators (2)

albert visser

distinguished professor emeritus

Utrecht University

NETHERLANDS

View details

Sohei Iwata

Lecturer

Aichi Gakuin University

JAPAN

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Taishi Kurahashi

Research Interests

Make your next move.

Explore related searches

Articles (16)

CUT-FREE SEQUENT CALCULI FOR THE PROVABILITY LOGIC D

CERTIFIED $ \Sigma _1$ -SENTENCES

POUR-EL’S LANDSCAPE

The Finite Frame Property of Some Extensions of the Pure Logic of Necessitation

On collection schemes and Gaifman's splitting theorem

The persistence principle over weak interpretability logic

Arithmetical completeness theorems for monotonic modal logics

The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$

Some Observations on the FGH Theorem

DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC

Refining the arithmetical hierarchy of classical principles

On Guaspari's problem about partially conservative sentences

CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC

On Inclusions Between Quantified Provability Logics

PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC

Modal completeness of sublogics of the interpretability logic IL

Collaborators (2)

albert visser

Sohei Iwata

Make your next move.