Fernandez, Luiz, and Mario R. F. Benevides.
" A Tableaux System for Dolev-Yao Multi-Agent Epistemic Logic." <em>Anais do IV Workshop Brasileiro de Lógica,
João Pessoa/PB, 2023</em>. SBC, 2023,  
pp.9-16.