URIDIA, L.; WALTHER, D. . Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses. Inteligencia Artificial, [S. l.], v. 23, n. 65, p. 1–18, 2020. DOI: 10.4114/intartif.vol23iss65pp1-18. Disponível em: https://journal.iberamia.org/index.php/intartif/article/view/403. Acesso em: 27 oct. 2025.