C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Yuya Okawa
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 5
Top Topics
Initial Conditions
Syntactic Structures
Extractive Summarization
Deontic Logic
Top Venues
J. Log. Comput.
Arch. Math. Log.
Ann. Pure Appl. Log.
Math. Log. Q.
</>
Publications
</>
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)