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