Ariel Silveira, Rodrigo Ribeiro, Miguel Nunes, Paulo Torrens, and Karina Roggia. 2022.
 A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. In <em>Proceedings of the 26th Brazilian Symposium on Programming Languages</em>, October 03, 2022, Uberlândia, Brasil. SBC, Porto Alegre, Brasil, 1–7.