VLDB 2026 Research / reviewers in the wild / expert
Yuya Okawa
dblp:170/4841
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 propertiesabstractAbstract 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 |