Yuya Okawa

According to our database, Yuya Okawa authored at least 7 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Unary Interpretability Logics for Sublogics of the Interpretability Logic bfIL.

Yuya Okawa

Stud Logica, June, 2024

The persistence principle over weak interpretability logic.

Sohei Iwata, Taishi Kurahashi, Yuya Okawa

Math. Log. Q., February, 2024

The fixed point and the Craig interpolation properties for sublogics of bfIL.

Sohei Iwata, Taishi Kurahashi, Yuya Okawa

Arch. Math. Log., February, 2024

2022

Countably many sublogics of the interpretability logic IL having fixed point properties.

Yuya Okawa

J. Log. Comput., 2022

On Guaspari's problem about partially conservative sentences.

Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov, Albert Visser

Ann. Pure Appl. Log., 2022

2021

Modal completeness of sublogics of the interpretability logic IL.

Taishi Kurahashi, Yuya Okawa

Math. Log. Q., 2021

2015

Haptic-enabled Active Bone-Conducted Sound Sensing.

Yuya Okawa, Kentaro Takemura

Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015