Taishi Kurahashi

Available identifiers

zbMath Open kurahashi.taishiMaRDI QIDQ312495

List of research outcomes

Publication	Date of Publication	Type
Prenex normalization and the hierarchical classification of formulas	2024-04-16	Paper
DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC	2024-04-04	Paper
The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}	2024-01-18	Paper
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC	2023-12-22	Paper
Interpolation properties for the bimodal provability logic $\mathbf{GR}$	2023-11-17	Paper
The Modal Logic of Provability and Forcing	2023-11-01	Paper
Some observations on the FGH theorem	2023-10-26	Paper
Cut-free sequent calculi for the provability logic D	2023-10-25	Paper
Pour-El's Landscape	2023-10-07	Paper
Modal completeness of sublogics of the interpretability logic IL	2023-09-12	Paper
Refining the arithmetical hierarchy of classical principles	2023-09-12	Paper
Certified $\Sigma_1$-sentences	2023-06-22	Paper
On the conservation results for local reflection principles	2023-06-12	Paper
The finite frame property of some extensions of the pure logic of necessitation	2023-05-24	Paper
Arithmetical completeness theorems for monotonic modal logics	2023-05-19	Paper
Incompleteness and undecidability of theories consistent with $\mathsf{R}$	2022-11-28	Paper
Simplified Veltman frames for sublogics of $\mathbf{IL}$	2022-11-28	Paper
Rosser provability and the second incompleteness theorem	2022-11-11	Paper
The provability logic of all provability predicates	2022-08-06	Paper
Effectively constructible fixed points in Sacchetti's modal logics of provability	2022-05-06	Paper
On Guaspari's problem about partially conservative sentences	2022-04-01	Paper
On inclusions between quantified provability logics	2022-03-15	Paper
The persistence principle over weak interpretability logic	2022-03-04	Paper
PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC	2021-12-09	Paper
Topological semantics of conservativity and interpretability logics	2021-11-09	Paper
A NOTE ON DERIVABILITY CONDITIONS	2021-03-19	Paper
On inclusions between quantified provability logics	2021-01-09	Paper
Prenex normal form theorems in semi-classical arithmetic	2020-09-07	Paper
Uniform Lyndon interpolation property in propositional modal logics	2020-07-17	Paper
Rosser provability and normal modal logics	2020-06-09	Paper
On Guaspari's problem about partially conservative sentences	2019-09-06	Paper
Fixed-point properties for predicate modal logics	2019-06-29	Paper
Rosser provability and the second incompleteness theorem	2019-02-18	Paper
On partial disjunction properties of theories containing Peano arithmetic	2019-01-14	Paper
Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations	2018-12-21	Paper
Effectively constructible fixed points in Sacchetti's modal logics of provability	2018-11-30	Paper
On arithmetical completeness of the logic of proofs	2018-11-29	Paper
PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC	2018-10-26	Paper
Arithmetical completeness theorem for modal logic \(\mathsf{K}\)	2018-04-16	Paper
GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC	2018-01-17	Paper
UNIVERSAL ROSSER PREDICATES	2017-06-01	Paper
ILLUSORY MODELS OF PEANO ARITHMETIC	2017-04-28	Paper
Liar-type paradoxes and the incompleteness phenomena	2016-09-15	Paper
Henkin sentences and local reflection principles for Rosser provability	2015-11-18	Paper
Rosser-type undecidable sentences based on Yablo's paradox	2014-12-18	Paper
On predicate provability logics and binumerations of fragments of Peano arithmetic	2013-11-06	Paper
ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY	2013-04-24	Paper
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos	2012-09-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Taishi Kurahashi