URIDIA, L. Completeness by Modal Deļ¬nitions. Application to the Epistemic Logic With Hypotheses. Inteligencia Artificial, v. 23, n. 65, p. 1-18, 1 Apr. 2020.