Nunes, Miguel, 		Roggia, Karina, AND 		Torrens, Paulo.
" Soundness-Preserving Fusion of Modal Logics in Coq" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (4 December 2024)