A. Silveira, R. Ribeiro, M. Nunes, P. Torrens, and K. Roggia.
"A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq", in <em>Anais do XXVI Simpósio Brasileiro de Linguagens de Programação</em>, Uberlândia, 2022, pp. 1–7.