Lourdes Del Carmen González-Huesca, Favio E. Miranda-Perea, P. Selene Linares-Arévalo. Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence. In Amy P. Felty, João Marcos 0001, editors, Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019. Volume 348 of Electronic Notes in Theoretical Computer Science, pages 61-83, Elsevier, 2020. [doi]
Abstract is missing.