Silveira, Ariel, 		Ribeiro, Rodrigo, 		Nunes, Miguel, 		Torrens, Paulo, AND 		Roggia, Karina.
" A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq" <em>Proceedings of the Brazilian Symposium on Programming Languages (SBLP)</em> [Online], (3 October 2022)