Silveira, A., 		Ribeiro, R., 		Nunes, M., 		Torrens, P., & 		Roggia, K.
(2022).
 A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq.
In <em>Proceedings of the 26th Brazilian Symposium on Programming Languages</em>, (pp. 1–7). Porto Alegre: SBC.