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]
@inproceedings{SilveiraRNTR22,
title = {A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq},
author = {Ariel Agne Da Silveira and Rodrigo Ribeiro and Miguel Alfredo Nunes and Paulo Torrens and Karina Girardi Roggia},
year = {2022},
doi = {10.1145/3561320.3561329},
url = {https://doi.org/10.1145/3561320.3561329},
researchr = {https://researchr.org/publication/SilveiraRNTR22},
cites = {0},
citedby = {0},
pages = {1-7},
booktitle = {SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022},
editor = {Marcelo de Almeida Maia and Fábio Dorça and Rafael Dias Araujo and Cristiano Damiani Vasconcellos},
publisher = {ACM},
isbn = {978-1-4503-9744-5},
}