Fernandez, L., & 		Benevides, M.
2023 Aug  6.  A Tableaux System for Dolev-Yao Multi-Agent Epistemic Logic. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :