collaborators

1 paper

cs.LO2019

A Linear-logical Reconstruction of Intuitionistic Modal Logic S4

Yosuke Fukuda, Akira Yoshimizu

We propose a "modal linear logic" to reformulate intuitionistic modal logic S4 (IS4) in terms of linear logic, establishing an S4-version of Girard translation from IS4 to it. Whil…