Yuya Okawa

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 7

Top Topics

Extractive Summarization

Bargaining Solution

Classical Logic

Top Venues

J. Log. Comput.

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Sohei Iwata, Taishi Kurahashi, Yuya Okawa
The persistence principle over weak interpretability logic. Math. Log. Q. 70 (1) (2024)
Yuya Okawa
Unary Interpretability Logics for Sublogics of the Interpretability Logic bfIL. Stud Logica 112 (3) (2024)
Sohei Iwata, Taishi Kurahashi, Yuya Okawa
The fixed point and the Craig interpolation properties for sublogics of bfIL. Arch. Math. Log. 63 (1) (2024)
Yuya Okawa
Countably many sublogics of the interpretability logic IL having fixed point properties. J. Log. Comput. 32 (5) (2022)
Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov, Albert Visser
On Guaspari's problem about partially conservative sentences. Ann. Pure Appl. Log. 173 (5) (2022)
Taishi Kurahashi, Yuya Okawa
Modal completeness of sublogics of the interpretability logic IL. Math. Log. Q. 67 (2) (2021)
Yuya Okawa, Kentaro Takemura
Haptic-enabled Active Bone-Conducted Sound Sensing. UIST (Adjunct Volume) (2015)