Nunes, Miguel, Karina Girardi Roggia, and Paulo Henrique Torrens.
" Soundness-Preserving Fusion of Modal Logics in Coq." <em>Proceedings of the 27th Brazilian Symposium on Formal Methods,
Vitória/ES, 2024</em>. SBC, 2024,  
pp.120-138.