Private Dynamic Epistemic Friendship Logic. - Henrique Viana; Arnaldo Araújo; Lucas Leite; João F. L. Alcântara (BRACIS, 2014)

First-Order Logic for Decision Problems with Preference Aggregation. - Arnaldo Araújo; Ana Teresa C. Martins; Davi Romero (BRACIS, 2016)