Luiz Fernandez and Mario Benevides. 2023.
A Tableaux System for Dolev-Yao Multi-Agent Epistemic Logic. In Anais do IV Workshop Brasileiro de Lógica, agosto 06, 2023, João Pessoa/PB, Brasil. SBC, Porto Alegre, Brasil, 9-16. DOI: https://doi.org/10.5753/wbl.2023.230019.