Ariel Silveira, Rodrigo Ribeiro, Miguel Nunes, Paulo Torrens, and Karina Roggia. 2022.
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>, outubro 03, 2022, Uberlândia, Brasil. SBC, Porto Alegre, Brasil, 1–7.