Yuya Okawa

dblp:170/4841 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
2since 2021 · last 2022
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 1 first-author · 2 since 2021
YearPublicationVenuePosition
2022 On Guaspari's problem about partially conservative sentences
Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov, Albert Visser
Ann. Pure Appl. Log.2
2022 Countably many sublogics of the interpretability logic IL having fixed point properties
abstract
Abstract We investigate the fixed point properties for sublogics of the interpretability logic $\textbf {IL}$. In our previous work, it was proved that a sublogic $\textbf {IL}^{-}(\textbf {J 2}_+, \textbf {J 5})$ has the fixed point property (FPP) and that a sublogic $\textbf {IL}^{-}(\textbf {J 4}, \textbf {J 5})$ has a newly introduced weaker property $\ell $FPP. In this paper, we provide countably many sublogics of $\textbf {IL}^{-}(\textbf {J 2}_{+}, \textbf {J 5})$ (resp. $\textbf {IL}^{-}(\textbf {J 4}, \textbf {J 5})$) having FPP (resp. $\ell $FPP).
Yuya Okawa
J. Log. Comput.1