Haptic-enabled Active Bone-Conducted Sound Sensing. - Yuya Okawa; Kentaro Takemura (UIST (Adjunct Volume), 2015)

Modal completeness of sublogics of the interpretability logic IL. - Taishi Kurahashi; Yuya Okawa (Math. Log. Q., 2021)

On Guaspari's problem about partially conservative sentences. - Taishi Kurahashi; Yuya Okawa; V. Yu. Shavrukov; Albert Visser (Ann. Pure Appl. Log., 2022)

Countably many sublogics of the interpretability logic IL having fixed point properties. - Yuya Okawa (J. Log. Comput., 2022)

The fixed point and the Craig interpolation properties for sublogics of bfIL. - Sohei Iwata; Taishi Kurahashi; Yuya Okawa (Arch. Math. Log., 2024)

The persistence principle over weak interpretability logic. - Sohei Iwata; Taishi Kurahashi; Yuya Okawa (Math. Log. Q., 2024)

Unary Interpretability Logics for Sublogics of the Interpretability Logic bfIL. - Yuya Okawa (Stud Logica, 2024)