Fernandez, L., & 		Benevides, M.
(2023).
 A Tableaux System for Dolev-Yao Multi-Agent Epistemic Logic.
In <em>Anais do IV Workshop Brasileiro de Lógica</em>, (pp. 9-16). Porto Alegre: SBC.
doi:10.5753/wbl.2023.230019