Uridia, L. (2020) “Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses”, Inteligencia Artificial, 23(65), pp. 1-18. doi: 10.4114/intartif.vol23iss65pp1-18.