Yuya Okawa

MaRDI QIDQ2120970zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Unary interpretability logics for sublogics of the interpretability logic \textbf{IL} Studia Logica	2024-06-26	Paper
The persistence principle over weak interpretability logic Mathematical Logic Quarterly (MLQ)	2024-06-25	Paper
The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} Archive for Mathematical Logic	2024-01-18	Paper
Modal completeness of sublogics of the interpretability logic IL Mathematical Logic Quarterly	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 Journal Of Logic And Computation	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 Notre Dame Journal of Formal Logic	2022-05-06	Paper
On Guaspari's problem about partially conservative sentences Annals of Pure and Applied Logic	2022-04-01	Paper
The persistence principle over weak interpretability logic	2022-03-04	Paper
On Guaspari's problem about partially conservative sentences (available as arXiv preprint)	2019-09-06	Paper
Effectively constructible fixed points in Sacchetti's modal logics of provability (available as arXiv preprint)	2018-11-30	Paper

Research outcomes over time

This page was built for person: Yuya Okawa