Fukuda, Yosuke

1. A Linear-logical Reconstruction of Intuitionistic Modal Logic S4
   2019/04/24 by Yosuke Fukuda, Fukuda, Yosuke, Akira Yoshimizu +1 · 1 citation
   Computer Science · #F.3.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO