Fitch-Style Modal Necessity as a Substructural Sequent-Style System. - Favio Ezequiel Miranda-Perea; Ximena Estrada Zavaleta; Lourdes Del Carmen González-Huesca (Computación y Sistemas (CyS), 2023)