A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. - Ariel Agne Da Silveira; Rodrigo Ribeiro; Miguel Alfredo Nunes; Paulo Torrens; Karina Girardi Roggia (SBLP, 2022)

Soundness-Preserving Fusion of Modal Logics in Coq. - Miguel Alfredo Nunes; Karina Girardi Roggia; Paulo Torrens (SBMF, 2024)