Lourdes Del Carmen González-Huesca, Favio E. Miranda-Perea, P. Selene Linares-Arévalo. Axiomatic and dual systems for constructive necessity, a formally verified equivalence. Journal of Applied Non-Classical Logics, 29(3):255-287, 2019. [doi]
Abstract is missing.