TY  - RPRT
TI  - A Linear-logical Reconstruction of Intuitionistic Modal Logic S4
AU  - Yosuke Fukuda
AU  - Akira Yoshimizu
PY  - 2019
UR  - https://arxiv.org/abs/1904.10605
ID  - 1904.10605
ER  -