Login / Signup
Yosuke Fukuda
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 4
Top Topics
Modal Logic
Theorem Prover
Prime Implicates
Explanation Based Generalization
Top Venues
CoRR
FSCD
J. Inf. Process.
LORI
</>
Publications
</>
Yosuke Fukuda
An S4 extension of the λμμ-calculus.
J. Inf. Process.
31 (2023)
Yosuke Fukuda
,
Akira Yoshimizu
A Linear-logical Reconstruction of Intuitionistic Modal Logic S4.
CoRR
(2019)
Yosuke Fukuda
,
Akira Yoshimizu
A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4.
FSCD
(2019)
Yosuke Fukuda
,
Ryosuke Igarashi
A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction.
LORI
(2017)