Yuya Okawa

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

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

[BibT_eX]

[DOI]

Sohei Iwata

Taishi Kurahashi

Yuya Okawa

Arch. Math. Log., February, 2024

2022

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

[BibT_eX]

[DOI]

Yuya Okawa

J. Log. Comput., 2022

On Guaspari's problem about partially conservative sentences.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2022

2021

Modal completeness of sublogics of the interpretability logic IL.

[BibT_eX]

[DOI]

Taishi Kurahashi

Yuya Okawa

Math. Log. Q., 2021

2015

Haptic-enabled Active Bone-Conducted Sound Sensing.

[BibT_eX]

[DOI]

Yuya Okawa

Kentaro Takemura

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

Yuya Okawa

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...