Yuya Okawa

Available identifiers

zbMath Open okawa.yuyaMaRDI QIDQ2120970

List of research outcomes

Publication	Date of Publication	Type
Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}	2024-06-26	Paper
The persistence principle over weak interpretability logic	2024-06-25	Paper
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

This page was built for person: Yuya Okawa