Yuya Okawa

Available identifiers

zbMath Open okawa.yuyaMaRDI QIDQ2120970

List of research outcomes

Publication	Date of Publication	Type
The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}	2024-01-18	Paper
Modal completeness of sublogics of the interpretability logic IL	2023-09-12	Paper
Simplified Veltman frames for sublogics of $\mathbf{IL}$	2022-11-28	Paper
Countably many sublogics of the interpretability logicILhaving fixed point properties	2022-09-22	Paper
Unary interpretability logics for sublogics of the interpretability logic $\mathbf{IL}$	2022-06-08	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
The persistence principle over weak interpretability logic	2022-03-04	Paper
On Guaspari's problem about partially conservative sentences	2019-09-06	Paper
Effectively constructible fixed points in Sacchetti's modal logics of provability	2018-11-30	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: Yuya Okawa