Fernandez, L., & 		Benevides, M.
2023 ago  6.  A Tableaux System for Dolev-Yao Multi-Agent Epistemic Logic. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :