Ariel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia. A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. In Marcelo de Almeida Maia, Fábio Dorça, Rafael Dias Araujo, Cristiano Damiani Vasconcellos, editors, SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022. pages 1-7, ACM, 2022. [doi]
Abstract is missing.