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