Favio Ezequiel Miranda Perea, Lourdes Del Carmen González-Huesca, Pilar Selene Linares Arévalo. A dual-context sequent calculus for the constructive modal logic S4. Mathematical Structures in Computer Science, 32(9):1205-1233, October 2022. [doi]
Abstract is missing.