Taishi Kurahashi

Kobe University

Japan

Research Interests

Explore related searches

Professors in Japan Professors in Mathematics Mathematics professors in Japan

Contact this professor

LinkedIn

Google Scholar

Articles (16)

CUT-FREE SEQUENT CALCULI FOR THE PROVABILITY LOGIC D

Year:

2025

CERTIFIED $ \Sigma _1$ -SENTENCES

Year:

2024

POUR-EL’S LANDSCAPE

Year:

2024

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

Year:

2024

On collection schemes and Gaifman's splitting theorem

Year:

2024

The persistence principle over weak interpretability logic

Year:

2024

Arithmetical completeness theorems for monotonic modal logics

Year:

2023

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

Year:

2023

Some Observations on the FGH Theorem

Year:

2023

DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC

Year:

2022

Refining the arithmetical hierarchy of classical principles

Year:

2022

On Guaspari's problem about partially conservative sentences

Year:

2022

CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC

Year:

2022

On Inclusions Between Quantified Provability Logics

Year:

2022

PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC

Year:

2021

Modal completeness of sublogics of the interpretability logic IL

Year:

2021

Collaborators (1)

albert visser

distinguished professor emeritus

Utrecht University

NETHERLANDS

Social connections

How do I reach out?

Sign in for free to see their profile details and contact information.

Meet Kite AI